A statically safe alternative to virtual types

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1445, Issue , 1998, Pages 523-549

  Bruce, Kim B ^a   Odersky, Martin ^b   Wadler, Philip ^c  

^a WILLIAMS COLLEGE   (United States)

^b UNIVERSITY OF SOUTH AUSTRALIA   (Australia)

^c LUCENT TECHNOLOGIES   (United States)

Author keywords

Language design; Parametric polymorphism; Static type checking; Virtual types

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAMMING LANGUAGES; JAVA PROGRAMMING LANGUAGE;

GENERICITY; LANGUAGE DESIGN; PARAMETRIC POLYMORPHISM; STATIC TYPE CHECKING; VIRTUAL TYPES;

OBJECT ORIENTED PROGRAMMING;

EID: 84957693878     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0054106     Document Type: Conference Paper

References (25)

1. Ole Agesen, Stephen Freund, and John C. Mitchell. Adding parameterized types to Java. In Symposium on Object-Oriented Programming: Systems, Languages, and Applications, ACM, 1997.
2. Kim B. Bruce, Luca Cardelli, Giuseppe Castagna, The Hopkins Objects Group, Gary T. Leavens, and Benjamin Pierce. On binary methods. Theory and Practice of Object-Oriented Systems, 1(3): 221-242,1995.
3. Kim B. Bruce, Adrian Fiech, and Leaf Petersen. Subtyping is not a good "match" for object-oriented languages. In ECOOP '97, pages 104-127. LNCS 1241, Springer-Verlag, 1997.
4. Kim B. Bruce. A paradigmatic object-oriented programming language: design, static typing and semantics. Journal of Functional Programming, 4(2):127-206, 1994.
5. Kim B. Bruce. Increasing Java's expressiveness with ThisType and match-bounded polymorphism. Technical report, Williams College, 1997. Available via .
6. Kim B. Bruce. Safe static type checking with systems of mutually recursive classes and inheritance. Technical report, Williams College, 1997.
7. Kim B. Bruce, Angela Schuett, and Robert van Gent. PolyTOIL: A type-safe polymorphic object-oriented language, extended abstract. In European Conference on Object-Oriented Programming, pages 27-51, LNCS 952, Springer-Verlag, 1995.
8. Peter Canning, William Cook, Walter Hill, Walter Olthoff, and John C. Mitchell, F-bounded polymorphism for object-oriented programming. In Conference on Functional Programming Languages and Computer Architecture, pages 273-280, ACM, 1989.
9. Corky Cartwright and Guy Steele. Yet another parametric types proposal. Message to Java genericity mailing list, August, 1997.
10. Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides. Design Patterns. Addison-Wesley, 1995
11. Andrew Koenig and Barbara Moo. Ruminations on C++. Addison-Wesley, 1996.
12. B. B. Kristensen, O. L. Madsen, B. M0ller-Pedersen, and K. Nygaard. Abstraction mechanisms in the Beta programming language. In Symposium on Principles of Programming Languages, ACM, 1983.
13. Andrew C. Myers, Joseph A. Bank, and Barbara Liskov. Parameterized types for Java. In Symposium on Principles of Programming Languages, pages 132-145, ACM, 1997.
14. O. L. Madsen and B. M0ller-Pedersen. Virtual classes: A powerful mechanism for object-oriented programming. In Object-Oriented Programming: Systems, Languages, and Applications, ACM, 1989.
15. O. L. Madsen, B. Moller-Pedersen, and K. Nygaard. Object-Oriented Programming in the Beta Programming Language. Addison-Wesley, 1993.
16. Martin Odersky and Philip Wadler. Pizza into Java: Translating theory into practice. In Symposium on Principles of Programming Languages, pages 146-159, ACM, 1997.
17. Martin Odersky and Philip Wadler. Leftover Curry and reheated Pizza: How functional programming nourishes software reuse. In IEEE Fifth International Conference on Software Reuse, Vancouver, BC, June 1998.
18. Jens Palsberg and Michael I. Schwartzbach. Object-Oriented Type Systems. Wiley, 1994.
19. Didier Remy and Jerome Vouillon. Objective ML: An effective object-oriented extension to ML. Theory and Practice of Object-Oriented Systems, 4(1): 27-50, 1998.
20. J. C. Reynolds, Towards a theory of type structure. In B. Robinet, editor, Proc. Collogue sur la Programmation, LNCS 19, Springer-Verlag.
21. J. C. Reynolds, Types, abstraction, and parametric polymorphism. In R. E. A. Mason, editor, Information Processing 83, pp. 513-523. North-Holland, Amsterdam.
22. C. Strachey, Fundamental concepts in programming languages. Lecture notes for International Summer School in Computer Programming, Copenhagen, August 1967.
23. Kresten Krab Thorup. Genericity in Java with virtual types. In European Conference on Object-Oriented Programming, pages 444-471, LNCS 1241, Springer-Verlag, 1997.
24. Mads Torgersen. Virtual types are statically safe. 5th Workshop on Foundations of Object-Oriented Languages, January 1998.
25. Kresten Krab Thorup and Mads Torgersen. Structural virtual types. Informal session on types for Java, 5th Workshop on Foundations of Object-Oriented Languages, January 1998.