Unifying genericity: Combining the benefits of virtual types and parameterized classes

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

Volumn 1628, Issue , 1999, Pages 186-204

  Thorup, Kresten Krab ^a   Torgersen, Mads ^a  

^a AARHUS UNIVERSITY   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; PARAMETERIZATION;

GENERIC CLASS; GENERIC TYPES; GENERICITY; MUTUAL RECURSION; PARAMETERIZED; PARAMETRIC POLYMORPHISM;

OBJECT ORIENTED PROGRAMMING;

EID: 84947942814     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (30)

1. Ole Agesen, Gilad Bracha, Kim Bruce, Luca Cardelli, Corky Cartwright, Erik Ernst, Kathleen Fisher, Martin Odersky, Bill Joy, Benjamin Pierce, John Rose, Guy Steele Jr., David Stoutamire, Kresten Krab Thorup, Mads Torgersen, David Ungar, Philip Wadler, et al. Personal communication. The “Java Genericity" mailing list, 1997-1998
2. Ole Agesen, Stephen N. Freund, and John C. Mitchell. Adding type parameterization to the java programming language. In Object Oriented Programming: Systems, Languages and Applications (OOPSLA). ACM, October 1997
3. Gilad Bracha, Martin Odersky, David Stoutamire, and Philip Wadler. Making the future safe for the past: Adding genericity to the java programming language. In Chambers [Cha98]
4. Kim Bruce, Martin Odersky, and Philip Wadler. A statically safe alternative to virtual types. In European Conference on Object-Oriented Programming (ECOOP), 1998
5. Kim Bruce. Subtyping is not a good match for object-oriented programming languages. In Mehmet Akşit and Satoshi Matsouka, editors, European Conference on Object-Oriented Programming (ECOOP), number 1241 in LNCS, Jyväskylä, Finland, 1997. AiTO, Springer Verlag
6. Peter Canning, William Cook, Walt Hill, Walter Olthó, and John Mitchell. F-bounded qualification for object-oriented programming. In ACM Conference on Functional Programming and Computer Architecture. ACM Press, 1989
7. Craig Chambers, editor. Object Oriented Programming: Systems, Languages and Applications (OOPSLA), Vancouver, BC, October 1998. SIGPLAN, ACM Press
8. William Cook. A proposal for making Eiffel type-safe. In Stephen Cook, editor, European Conference on Object-Oriented Programming (ECOOP), pages 57-70, Nottingham, July 1989. AiTO, Nottingham University Press
9. Robert Cartwright and Guy L. Steele. Compatible genericity with runtime-types for the Java programming language. In Chambers [Cha98]
10. Margaret A. Ellis and Bjarne Stroustrup. The Annotated C++ Reference Manual. Addison-Wesley, 1990
11. Atsushi Igarashi and Benjamin C. Pierce. Foundations for virtual types. In Rachid Guerraoui, editor, European Conference on Object-Oriented Programming (ECOOP), LNCS, Lisbon, Portugal, 1999. AiTO, Springer Verlag
12. Niel D. Jones, editor. Conf.Proceedings of the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), Paris, January 1997. ACM Press
13. Bent Bruun Kristensen, Ole Lehrmann Madsen, Birger Müller-Pedersen, and Kristen Nygaard. Abstraction mechanisms in the Beta programming language. In Conf. Proceedings of the 10th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), Austin, TX, 1983
14. Barbara Liskov, Alan Snyder, Russel Atkinson, and Craig Schaffert. Abstraction mechanisms in CLU. Communications of the ACM, 20(8), August 1977
15. Boris Magnusson. Code reuse considered harmful. JOOP-Journal of Object-Oriented Programming, 4(3), November 1991
16. Andrew Myers, Joseph Bank, and Barbara Liskov. Parameterized types for Java. In Jones [Jon97]
17. Bertrand Meyer. Genericity versus inheritance. In Object Oriented Pro-gramming: Systems, Languages and Applications (OOPSLA), pages 391-405, 1986
18. Mjølner Informatics, ApS, Aarhus. The Mjølner System BETA Compiler Reference Manual, 1997. MIA 90-02(1.6), www.mjolner.dk
19. Ole Lehrmann Madsen and Birger Müller-Pedersen. Virtual classes: A powerful mechanism in object-oriented programming. In Object Ori-ented Programming: Systems, Languages and Applications (OOPSLA). SIGPLAN, ACM Press, 1989
20. Ole Lehrmann Madsen, Birger Müller-Pedersen, and Kristen Nygaard. Object-Oriented Programming in the BETA Programming Language. Addison-Wesley, 1993
21. Gail C. Murphy and David Notkin. The interaction between static typing and frameworks. Technical Report TR-93-09-02, University of Washington, 1993
22. Gail C. Murphy and David Notkin. On the use of static typing to support operations on frameworks. Object Oriented Systems, 3(4):197-213, December 1996
23. Steven Omohundro. The Sather programming language. Dr. Dobb's Journal, 18(11), October 1993
24. Martin Odersky and Philip Wadler. Pizza into Java: Translating theory into practice. In Jones [Jon97]
25. David Shang. Subtypes and convertible types. Object Currents, 1(6), June 1996
26. David Shang. Transframe: The Annotated Reference. Software Systems Research Laboratory, Motorola, Inc., Shamburg, IL, November 1996. www.transframe.com
27. Kresten Krab Thorup. Genericity in Java with virtual types. In Mehmet Akşit and Satoshi Matsouka, editors, European Conference on Object-Oriented Programming (ECOOP), number 1241 in LNCS, pages 444-471, Jyväskylä, Finland, 1997. AiTO, Springer Verlag
28. Mads Torgersen. Virtual types are statically safe. In Kim Bruce, editor, 5th Workshop on Foundations of Object-Oriented Languages, San Diego, CA, January 1998
29. Kresten Krab Thorup and Mads Torgersen. Structured virtual types. Informal session on types for Java, 5thWorkshop on Foundations of Object-Oriented Languages, January 1998
30. Kresten Krab Thorup and Mads Torgersen. The Idea programming language. Technical report, Department of Computer Science, University of Aarhus, 1999. (To appear).