Adding wildcards to the java programming language

Journal of Object Technology

Volumn 3, Issue 11, 2004, Pages 97-116

  Torgersen, Mads ^a   Ernst, Erik ^a   Hansen, Christian Plesner ^b   Von Der Ahé, Peter ^c   Bracha, Gilad ^c   Gafter, Neal ^d  

^a AARHUS UNIVERSITY   (Denmark)

^b OOVM   (Denmark)

^c SUN MICROSYSTEMS   (United States)

^d GOOGLE INC   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 22944470513     PISSN: 16601769     EISSN: 16601769     Source Type: Journal    
DOI: 10.5381/jot.2004.3.11.a5     Document Type: Conference Paper

References (33)

1. O. Agesen, S. N. Freund, and J. C. Mitchell. Adding type parameterization to the Java programming language. In Proceedings OOPSLA 1997. Toby Bloom, editor.
2. P. America and F. van der Linden. A parallel object-oriented language with inheritance and subtyping. In Proceedings OOPSLA/ECOOP 1990, pages 161-168. Norman K. Meyrowitz, editor.
3. G. Bracha and D. Griswold. Strongtalk: Typechecking Smalltalk in a production environment. In Proceedings OOPSLA 1993. Andreas Paepcke, editor.
4. G. Bracha, M. Odersky, D. Stoutamire, and P. Wadler. Making the future safe for the past: Adding genericity to the Java programming language. In Proceedings OOPSLA 1998. Craig Chambers, editor.
5. K. Bruce. Subtyping is not a good match for object-oriented programming languages. In Proceedings ECOOP 1997. Mehmet Akşit and Satoshi Matsuoka, editors.
6. K. Bruce, M. Odersky, and P. Wadler. A statically safe alternative to virtual types. In Proceedings ECOOP 1998. Eric Jul, editor.
7. L. Cardelli and P. Wegner. On Understanding Types, Data Abstraction and Polymorphism. In ACM Computing Surveys, 17.4, pages 480-521. 1980.
8. R. Cartwright and G. L. Steele. Compatible genericity with runtime-types for the Java programming language. In Proceedings OOPSLA 1998. Craig Chambers, editor.
9. W. Cook. A proposal for making Eiffel type-safe. In Proceedings ECOOP 1989. Stephen Cook, editor.
10. W. Cook, W. Hill, and P. Canning. Inheritance is not subtyping. In Proceedings POPL 1990. Paul Hudak, editor.
11. ECMA. C# language specification. http://www.ecma-international.org/ publications/standards/Ecma-334.htm, 2002.
12. M. A. Ellis and B. Stroustrup. The Annotated C++ Reference Manual. Addison-Wesley, 1990.
13. E. Ernst. gbeta a Language with Virtual Attributes, Block Structure, and Propagating, Dynamic Inheritance. PhD thesis, Department of Computer Science, University of Aarhus, 1999.
14. J. Gosling, B. Joy, G. Steele, and G. Bracha. The Java Language Specification, Third Edition. Addison-Wesley, 2004. To appear.
15. A. Igarashi, B. Pierce, and P. Wadler. A Recipe for Raw Types. In Informal Proceedings FOOL, 2001.
16. A. Igarashi, B. Pierce, and P. Wadler. Featherweight, Java: A minimal core calculus for Java and GJ. In Proceedings OOPSLA 1999, pages 132-14. Linda Northrop, editor.
17. A. Igarashi and B. C. Pierce. Foundations for virtual types. In Proceedings ECOOP 1999. Rachid Guerraoui, editor.
18. A. Igarashi and M. Viroli. On variance-based subtyping for parametric types. In Proceedings ECOOP 2002, pages 441-469. Boris Magnusson, editor.
19. A. Kennedy and D. Syme. Design and implementation of generics for the. NET common language runtime. In Proceedings PLDI 2001, pages 1-12. C. Norris and J. J. B. Fenwick, editors.
20. O. L. Madsen, B. Møller-Pedersen, and K. Nygaard. Object-Oriented Programming in the BETA Programming language. Addison-Wesley, 1993.
21. B. Meyer, Genericity versus inheritance. In Proceedings OOPSLA 1986, pages 391-405. Norman K. Meyrowitz, editor.
22. R. Milner, M. Tofte, R. W. Harper, and D. MacQueen. The Definition of Standard ML MIT Press, 1997.
23. J. C. Mitchell and G. D. Plotkin. Abstract types have existential type. Proceedings POPL 1980, pages 37-51.
24. Revised version in ACM Transactions on Programming Languages and Systems, 10.3, 1988, pages 470-502.
25. A. Myers, J. Bank, and B. Liskov. Parameterized types for Java. In Proceedings POPL 1997. Neil D. Jones, editor.
26. M. Odersky and P. Wadler. Pizza into Java: Translating theory into practice. In Proceedings POPL 1997, pages 146-159. Neil D. Jones, editor.
27. M. Odersky, V. Cremet, C. Röckl, and M. Zenger, A Nominal Theory of Objects with Dependent Types. In Proceedings ECOOP 2003. Springer-Verlag.
28. C. V. Russo. First-class structures for standard ML. LNCS 1782, pages 336++, Springer Verlag 2000.
29. D. Stoutamire and S. Omohundro. The Sather 1.1 specification. Technical Report TR-96-012, International Computer Science Institute, Berkeley, CA, 1996.
30. K. K. Thorup. Genericity in Java with virtual types. In Proceedings ECOOP 1997. pages 444-471. Mehmet Akşit and Satoshi Matsuoka, editors.
31. K. K. Thorup and M. Torgersen. Unifying genericity. In Proceedings ECOOP 1999, pages 186-204. Hachid Guerraoui, editor.
32. M. Torgersen. Virtual types are statically safe. In Informal Proceedings FOOL, 1998. K. Bruce, editor
33. M. Torgersen. Unifying Abstractions. PhD thesis, Computer Science Department, University of Aarhus, 2001.