A Type-theoretic Reconstruction of the Visitor Pattern

Electronic Notes in Theoretical Computer Science

Volumn 155, Issue 1 SPEC. ISS., 2006, Pages 309-329

  Buchlovsky, Peter ^a   Thielecke, Hayo ^b  

^a UNIVERSITY OF CAMBRIDGE   (United Kingdom)

^b UNIVERSITY OF BIRMINGHAM   (United Kingdom)

Author keywords

Generic Java; object oriented programming; polymorphic types; Visitor pattern

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; DATA STRUCTURES; ENCODING (SYMBOLS); PATTERN RECOGNITION SYSTEMS; TREES (MATHEMATICS);

GENERIC JAVA; OBJECT-ORIENTED PROGRAMMING; POLYMORPHIC TYPES; VISITOR PATTERNS;

OBJECT ORIENTED PROGRAMMING;

EID: 33646230303     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2005.11.061     Document Type: Article

References (16)

1. Gavin Bierman, Matthew Parkinson, and Andrew Pitts. MJ: an imperative core calculus for Java and Java with effects. Technical Report 563, University of Cambridge Computer Laboratory, 2003
2. Böhm C., and Berarducci C. Automatic synthesis of typed lambda-programs on term algebras. Theoretical Computer Science 39 2/3 (1985) 135-154
3. Bracha G., Odersky M., Stoutamire D., and Wadler P. Making the future safe for the past: Adding genericity to the Java programming language. Proceedings of the 13th ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications. (OOPSLA'98), Vancouver, British Columbia, 18-22 October 1998 (1998), ACM Press, New York 183-200
4. Felleisen M., and Friedman D.P. A Little Java, A Few Patterns (1998), MIT Press, Cambridge, Massachusetts
5. Gagnon E.M., and Hendren L.J. SableCC, an object-oriented compiler framework. Proceedings of the Conference on Technology of Object-Oriented Languages and Systems. Santa Barbara, California, 3-7 August 1998 (1998), IEEE Computer Society, Washington DC 140-154
6. Gamma E., Helm R., Johnson R., and Vlissides J. Design Patterns: Elements of Reusable Object-Oriented Software (1995), Addison-Wesley, Boston, Massachusetts
7. Jean-Yves Girard. Interprétation fonctionnelle et élimination des coupures de l'arithmétique d'ordre supérieur. PhD thesis, Université Paris 7, 1972
8. Girard J.-Y., Taylor P., and Lafont Y. Proofs and Types (1989), Cambridge University Press, Cambridge
9. Igarashi A., Pierce B., and Wadler P. Featherweight Java: A minimal core calculus for Java and GJ. Proceedings of the 14th ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications. (OOPSLA'99), Denver, Colorado, 1-5 November 1999 (1999), ACM Press, New York 132-146
10. Lucassen J.M., and Gifford D.K. Polymorphic effect systems. Proceedings of the 15th ACM Symposium on Principles of Programming Languages. (POPL'88), San Diego, California, 13-15 January 1988 (1988), ACM Press, New York 47-57
11. Parkinson M., and Bierman G. Separation logic and abstraction. Proceedings of the 31st ACM Symposium on Principles of Programming Languages. (POPL'05), Long Beach, California, 12-14 January 2005 (2005), ACM Press, New York 247-258
12. Reynolds J.C. User-defined types and procedural data structures as complementary approaches to data abstraction. In: Schuman S.A. (Ed). New Directions in Algorithmic Languages 1975 (1976), IRIA, Rocquencourt, France 157-168
13. Reynolds J.C. Types, abstraction and parametric polymorphism. In: Mason R.E.A. (Ed). Information Processing 83 (1983), Elsevier Science Publishers B.V. (North-Holland), Amsterdam 513-523
14. Reynolds J.C., and Plotkin G.D. On functors expressible in the polymorphic typed lambda calculus. Information and Computation 105 (1993) 1-29
15. Setzer A. Java as a functional programming language. In: Geuvers H., and Wiedijk F. (Eds). Types for Proofs and Programs: International Workshop. TYPES 2002, Berg en Dal, The Netherlands, 24-28 April 2002. Lecture Notes in Computer Science number 2646 (2003), Springer, Berlin 279-298
16. Wadler P. Theorems for free!. Proceedings of the 4th International Conference on Functional Programming and Computer Architecture. (FPCA'89), London, 11-13 September 1989 (1989), ACM Press, New York 347-359