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

Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA

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

  Viroli, M ^a   Natali, A ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED LANGUAGE TRANSLATION; SECURITY OF DATA; SOFTWARE ENGINEERING; VIRTUAL REALITY;

INHERITANCE; PARAMETRIC POLYMORPHISM; VIRTUAL MACHINES;

JAVA PROGRAMMING LANGUAGE;

EID: 0034447519     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (18)

1. Adding parametrized types to Java
2. A statically safe alternative to virtual types
3. Compatible genericity with run-time types for the Java programming language
4. Featherweight Java, a minimal core calculus for Java and GJ
5. Genericity versus inheritance
6. Parameterized types for Java
7. Pizza into Java: Translating theory into practice
8. Making the future safe for the past: Adding genericity to the Java programming language
9. A proposal for making Eiffel type-safe
10. Parametric polymorphism for Java: A reflective solution
11. Genericity in Java with virtual types
12. Unifying genericity - Combining the benefits of virtual types and parameterized types
13. Virtual types are statically safe