Just: Safe unknown types in Java-like languages

Journal of Object Technology

Volumn 6, Issue 2, 2007, Pages 71-100

  Lagorio, Giovanni ^a   Zucca, Elena ^a  

^a UNIVERSITY OF GENEVA   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 33847638485     PISSN: None     EISSN: 16601769     Source Type: Journal    
DOI: 10.5381/jot.2007.6.2.a4     Document Type: Conference Paper

References (13)

1. Davide Ancona, Ferruccio Damiani, Sophia Drossopoulou, and Elena Zucca. Polymorphic bytecode: Compositional compilation for Java-like languages. In ACM Symp. on Principles of Programming Languages 2005. ACM Press, January 2005.
2. Davide Ancona, Giovanni Lagorio, and Elena Zucca. Type inference for polymorphic methods in Java-like languages. Technical report, Dipartimento di Informatica e Scienze dell'Informazione, Università di Geneva, October 2006.
3. Mark Day, Robert Gruber, Barbara Liskov, and Andrew C. Myers. Subtypes vs. where clauses: Constraining parametric polymorphism. In ACM Symp. on Object-Oriented Programming: Systems, Languages and Applications 1995, volume 30(10) of SIGPLAN Notices, pages 156-168, 1995.
4. Jonathan Eifrig, Scott F. Smith, and Valery Trifonov. Sound polymorphic type inference for objects. In ACM Symp. on Object-Oriented Programming: Systems, Languages and Applications 1995, volume 30(10) of SIGPLAN Notices, pages 169-184, 1995.
5. Jonathan Eifrig, Scott F. Smith, and Valery Trifonov. Type inference for recursively constrained types and its application to OOP. In Mathematical Foundations of Programming Semantics, volume 1 of Electronic Notes in Theoretical Computer Science. Elsevier Science, 1995.
6. Atsushi Igarashi and Hideshi Nagira. Union types for object-oriented programming. In Hisham Haddad, editor, Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006, pages 1435-1441. ACM, 2006.
7. Atsushi Igarashi, Benjamin C. Pierce, and Philip Wadler. Featherweight Java: A minimal core calculus for Java and GJ. In ACM Symp. on Object-Oriented Programming: Systems, Languages and Applications 1999, pages 132-146, November 1999.
8. Atsushi Igarashi, Benjamin C. Pierce, and Philip Wadler. Featherweight Java: a minimal core calculus for Java and GJ. ACM Transactions on Programming Languages and Systems, 23(3):396-450, 2001.
9. Giovanni Lagorio and Elena Zucca. Introducing safe unknown types in Java-like languages. In L.M. Liebrock, editor, ACM Symp. on Applied Computing (SAC 2006), Special Track on Object-Oriented Programming Languages and Systems, pages 1429-1434. ACM Press, 2006.
10. Andrew C. Myers, Joseph A. Bank, and Barbara Liskov. Parameterized types for Java. In ACM Symp. on Principles of Programming Languages 1997, pages 132-145. ACM Press, 1997.
11. Jens Palsberg. Type inference for objects. ACM Comput. Surv., 28(2):358-359, 1996.
12. Jens Palsberg and Michael I. Schwartzbach. Object-oriented type inference. In ACM Symp. on Object-Oriented Programming: Systems, Languages and Applications 1991, pages 146-161, 1991.
13. Tiejun Wang and Scott F. Smith. Precise constraint-based type inference for Java. In ECOOP'01 - European Conference on Object-Oriented Programming, volume 2072, pages 99-117. Springer, 2001.