Parametric polymorphism in Java: An approach to translation based on reflective features

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 35, Issue 10, 2000, Pages 146-165

  Viroli, Mirko ^a   Natali, Antonio ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 17944381256     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/354222.353182     Document Type: Article

References (18)

1. O. Agesen, S. Freund, and J. C. Mitchell. Adding parametrized types to Java. In Conference on Object-Oriented Programming, Systems, Languages and Applications, pages 215-230. ACM, October 1997.
2. K. B. Bruce, M. Odersky, and P. Wadler. A statically safe alternative to virtual types. In European Conference on Object-Oriented Programming, July 1998.
3. C. Cartwright and G. Steele. Compatible genericity with run-time types for the Java programming language. In Conference on Object-Oriented Programming, Systems, Languages and Applications, pages 201-215. ACM, October 1998.
4. A. Igarashi, B. Pierce, and P. Wadler. Featherweight Java, a minimal core calculus for Java and GJ. In Conference on Object-Oriented Programming, Systems, Languages and Applications, pages 132-146. ACM, October 1999.
5. B. Meyer. Genericity versus inheritance. In Conference on Object-Oriented Programming, Systems, Languages and Applications. ACM, 1986.
6. A. C. Meyers, J. A. Bank, and B. Liskov. Parameterized types for Java. In Symposium on Principles of Programming Languages, pages 132-145. ACM, 1997.
7. M. Odersky, E. Runne, and P. Wadler. Two ways to bake your Pizza - Translating parameterized types into Java. Technical Report CIS- 97-016, University of South Australia, 1997.
8. M. Odersky and P. Wadler. Pizza into Java: Translating theory into practice. In Symposium on Principles of Programming Languages, pages 146-159. ACM, 1997.
9. M. Odersky, P. Wadler, G. Bracha, and D. Stoutamire. Making the future safe for the past: Adding Genericity to the Java programming language. In Conference on Object-Oriented Programming, Systems, Languages and Applications, pages 183-200. ACM, October 1998.
10. M. Pawlan. Essentials of the Java Programming Language, a Hands-On Guide, Part 2. Sun Mycrosystems, Inc., http://java.sun.com.
11. W. R.Cook. A proposal for making Eiffel type-safe. In Euopean Conference on Object Oriented Programming, pages 52-72, October 1989.
12. J. H. Solorzano and S. Alagic. Parametric polymorphism for Java: A reflective solution. In Conference on Object-Oriented Programming, Systems, Languages and Applications, pages 216-225. ACM, 1998.
13. K. K. Thorup. Genericity in Java with virtual types. In European Conference on Object-Oriented Programming, pages 444-471. LNCS 1241, Springer-Verlag, June 1997.
14. K. K. Thorup and M. Torgersen. Unifying genericity - combining the benefits of virtual types and parameterized types. In European Conference on Object-Oriented Programming, pages 186-204. LNCS 1628, Springer-Verlag, June 1999.
15. M. Torgersen. Virtual types are statically safe. In 5th Workshop on Foundations of Object-Oriented Languages, January 1998.
16. M. Viroli. On the recursive generation of parametric types. Technical Report DEIS-LIA- 00-002, DEIS - University of Bologna, 2000.
17. M. Viroli and A. Natali. Parametric polymorphism in Java through homogeneous translation LM: Gathering type descriptors at load-time. Technical Report DEIS-LIA- 00-001, DEIS - University of Bologna, 2000.
18. G. Voss. Java Beans Tutorial, Part 4, Reflection and Introspection. Sun Mycrosystems, Inc., http://java.sun.com.