Adding Type Parameterization to the Java ™ Language

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 32, Issue 10, 1997, Pages 49-65

  Agesen, Ole ^a   Freund, Stephen N ^b   Mitchell, John C ^b  

^a SUN MICROSYSTEMS   (United States)

^b Stanford University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0345880249     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/263700.263720     Document Type: Article

References (23)

1. Ken Arnold and James Gosling. The Java Programming Language. Addison-Wesley, 1996.
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 Systems, 1(3):221-242, 1996.
3. Giuseppe Castagna. Covariance and contravariance: Conflict without a cause. ACM Transactions on Programming Languages and Systems, 17(3):431-447, May 1995.
4. P. Canning, W. Cook, W. Hill, J. Mitchell, and W. Olthoff. F-bounded quantification for object-oriented programming. In Functional Prog. and Computer Architecture, pages 273-280, 1989.
5. Drew Dean, Edward W. Felten, and Dan S. Wallach. Java security: from HotJava to netscape and beyond. In Proceedings of the IEEE Computer Society Symposium on Research in Security and Privacy, pages 190-200, 1996.
6. ++ Reference Manual. Addison-Wesley, 1990.
7. JavaSoft. Innerclasses in Java 1.1. available from http://java.sun.com, 1996.
8. D. Katiyar, D. Luckham, and J.C. Mitchell. A type system for prototyping languages. In Proc. 21-st ACM Symp. on Principles of Programming Languages, 1994.
9. B. Liskov et al. CLU Reference Manual. Springer LNCS 114, Berlin, 1981.
10. Konstantin Läufer, Gerald Baumgartner, and Vincent F. Russo. Safe structural conformance in Java. Technical Report CSD-TR-96-077, Purdue University, December 1996.
11. Barbara Liskov, Alan Snyder, Russell Atkinson, and Craig Schaffert. Abstraction mechanisms in CLU. Communications of the ACM, 20(8):564-576, August 1977.
12. Tim Lindholm and Frank Yellin. The Java Virtual Machine Specification. Addison-Wesley, 1996.
13. Andrew C. Myers, Joseph A. Bank, and Barbara Liskov. Parameterized types for Java. In Proc. 24th ACM Symposium on Principles of Programming Languages, pages 132-145, January 1997.
14. R. Milner. The Standard ML core language. Polymorphism, 2(2), 1985. 28 pages. An earlier version appeared in Proc. 1984 ACM Symp. on Lisp and Functional Programming.
15. R. Milner. The Standard ML core language. Polymorphism, 2(2), 1985. 28 pages. An earlier version appeared in Proc. 1984 ACM Symp. on Lisp and Functional Programming.
16. J.C. Mitchell. Foundations for Programming Languages. MIT Press, 1996.
17. D. R. Musser and A. Saini. STL Tutorial and Reference Guide. Addison-Wesley, 1995.
18. Martin Odersky and Philip Wadler. The Pizza compiler, available from http://www.math.luc.edu/pizza, February 1997.
19. Martin Odersky and Philip Wadler. Pizza into Java: Translating theory into practice. In Proc. 24th ACM Symposium on Principles of Programming Languages, January 1997.
20. P. J. Plauger, A. A. Stepanov, M. Lee, and D. R. Musser. The Standard Template Library. Prentice-Hall, 1996.
21. Kresten Krab Thorup. Genericity in Java with virtual types. In European Conference On Object Oriented Programming, 1997.
22. J.D. Ullman. Elements of ML programming. Prentice Hall, 1994.
23. US Dept. of Defense. Reference Manual for the Ada Programming Language. GPO 008-000-00354-8, 1980.