A first-class approach to genericity

ACM SIGPLAN Notices

Volumn 38, Issue 11, 2003, Pages 96-114

  Allen, Eric ^a   Bannet, Jonathan ^a   Cartwright, Robert ^a  

^a RICE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

C (PROGRAMMING LANGUAGE); CONTEXT FREE LANGUAGES; CONTEXT SENSITIVE LANGUAGES; JAVA PROGRAMMING LANGUAGE; OBJECT ORIENTED PROGRAMMING; PROGRAM COMPILERS;

DYNAMIC CLASS LOADING; FIRST CLASS GENERIC TYPES; JAVA VIRTUAL MACHINE;

PROGRAM DIAGNOSTICS;

EID: 1442264047     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/949343.949316     Document Type: Conference Paper

References (27)

1. O. Agesen, F. Freund, and J. Mitchell. Adding type parameterization to the Java language. In OOPSLA, 1997.
2. E. Allen, J. Bannet, and R. Cartwright. Mixins in Generic Java are sound. Technical report, Rice University, 2002.
3. E. Allen and R. Cartwright. The case for run-time types in Generic Java. In Principles and Practice of Programming in Java, 2002.
4. E. Allen and R. Cartwright. Safe instantiation in Generic Java. In Technical Report, Computer Science Department, Rice University, 2003. Available at http://www.cs.rice.edu/CS/PLT/Publications.
5. E. Allen, R. Cartwright, and B. Stoler. Efficient implementation of run-time generic types for Java. In IFIP WG2.1 Working Conference on Generic Programming, 2002.
6. D. Ancona, G. Lagorio, and E. Zucca. JAM - a smooth extension of Java with mixins. In ECOOP, 2000.
7. D. Ancona and E. Zucca. A theory of mixin modules: Basic and derived operators. In Mathematical Structures in Computer Science, pages 8(4):401-446, 1998.
8. D. Ancona and E. Zucca. A theory of mixin modules: algebraic laws and reduction semantics. Mathematical Structures in Computer Science, 12(6):701-737, 2002.
9. J. Bloch and N. Gafter. Personal communication, 2002.
10. G. Bracha. The Programming Language Jigsaw: Mixins, Modularity, and Multiple Inheritance. PhD thesis, University of Utah, 1992.
11. G. Bracha and W. Cook. Mixin-based inheritance. In OOPSLA, 1990.
12. G. Bracha, M. Odersky, D. Stoutamire, and P. Wadler. GJ Specification, 1998.
13. G. Bracha, M. Odersky, D. Stoutamire, and P. Wadler. Making the future safe for the past: Adding genericity to the Java programming language. In OOPSLA, 1998.
14. L. Cardelli, S. Martini, J. Mitchell, and A. Scedrov. An extension of system f with subtyping. Information and Computation 109(1-2), pages 4-56, 1994.
15. R. Cartwright and G. Steele. Compatible genericity with run-time types for the Java programming language. In OOPSLA, 1998.
16. M. Flatt, S. Krishnamurthi, and M. Felleisen. A programmer's reduction semantics for classes and mixins. In Formal Syntax and Semantics of Java. Springer-Verlag, 2000.
17. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, 1995.
18. A. Igarashi, B. Pierce, and P. Wadler. Featherweight Java: A minimal core calculus for Java and GJ. In OOPSLA, 1999.
19. A. Kennedy and D. Syme. Design and implementation of generics for the .net common language runtime. In PLDI, 2001.
20. S. McDirmid M. Flatt, and W. Hsieh. Jiazzi: New age components for old fashioned Java. In OOPSLA, 2001.
21. D. Moon. Object-oriented programming with Flavors. In OOPSLA, 1986.
22. A. Myers, J. Bank, and B. Liskov. Parameterized types for Java. In POPL, 1997.
23. M. Odersky and P. Wadler. Pizza into Java: Translating theory into practice. In POPL, 1997.
24. B. Pierce. Types and Programming Languages. MIT Press, 2002.
25. A. Snyder. CommonObjects: An overview. In SIGPLAN Workshop on Object-oriented Programming, 1986.
26. Sun Microsystems, Inc. JSR 14: Add generic types to the Java Programming Language, 2001.
27. Sun Microsystems, Inc. JSR-14 v1.3 prototype compiler source code, 2003. Available at http://www.jcp.org/en/jsr/detail?id=014.