Adding type constructor parameterization to java

Journal of Object Technology

Volumn 7, Issue 5, 2008, Pages 25-65

  Cremet, Vincent ^a   Altherr, Philippe ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

EID: 47549095892     PISSN: None     EISSN: 16601769     Source Type: Journal    
DOI: 10.5381/jot.2008.7.5.a2     Document Type: Conference Paper

References (25)

1. Philippe Altherr and Vincent Cremet. FGJ-omega web page. http://lamp.epfl.ch/~cremet/FGJ-omega/.
2. [ACb] Philippe Altherr and Vincent Cremet. Messages posted on the Scala mailing list. Accessible from http://lamp.epfl.ch/~cremet/FGJ-omega/.
3. [AC96] Martin Abadi and Luca Cardelli. A Theory of Objects. Monographs in Computer Science. Springer Verlag, 1996.
4. [BBLS05] U. Berger, S. Berghofer, P. Letouzey, and H. Schwichtenberg. Program extraction from normalization proofs. Studia Logica, 82, 2005. Special issue.
5. +96] Kim B. Bruce, Luca Cardelli, Giuseppe Castagna, the Hopkins Objects Group (Jonathan Eifrig, Scott Smith, Valery Trifonov), Gary T. Leavens, and Benjamin Pierce. On binary methods. Theory and Practice of Object Systems, 1(3):221-242, 1996.
6. +89] Peter Canning, William Cook, Walter Hill, Walter Olthoff, and John C. Mitchell. F-bounded polymorphism for object-oriented programming. In Proceedings of the fourth international conference on Functional programming languages and computer architecture (FPCA'89), pages 273-280, New York, NY, USA, 1989. ACM Press.
7. [CG03] Adriana B. Compagnoni and Healfdene H. Goguen. Typed operational semantics for higher order subtyping. Information and Computation, 184:242-297, August 2003.
8. [GHJV94] Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison Wesley, Massachusetts, 1994.
9. [IPW99] Atsushi Igarashi, Benjamin Pierce, and Philip Wadler. Featherweight Java: A minimal core calculus for Java and GJ. In ACM Symposium on Object Oriented Programming: Systems, Languages, and Applications (OOPSLA), October 1999. Rill version in ACM Transactions on Programming Languages and Systems (TOPLAS), 23(3), May 2001.
10. [IV06] Atsushi Igarashi and Mirko Viroli. Variant parametric types: A flexible subtyping scheme for generics. ACM Transactions on Programming Languages and Systems, 28(5):795-847, 2006.
11. [Jon03] Simon Peyton Jones. The Haskell 98 language and libraries: The revised report. Cambridge University Press, 2003.
12. [KP06] Andrew J. Kennedy and Benjamin C. Pierce. On decidability of nominal subtyping with variance, September 2006. FOOL-WOOD '07.
13. [KR05] Andrew Kennedy and Claudio Russo. Generalized algebraic data types and object-oriented programming. In ACM Symposium on Object Oriented Programming: Systems, Languages, and Applications (OOPSLA). ACM Press, October 2005.
14. [MPJ06] Adriaan Moors, Frank Piessens, and Wouter Joosen. An object-oriented approach to datatype-generic programming. In Workshop on Generic Programming (WGP'2006). ACM, September 2006.
15. [MPO07] Adriaan Moors, Frank Piessens, and Martin Odersky. Towards equal rights for higher-kinded types. Accepted for the 6th International Workshop on Multiparadigm Programming with Object-Oriented Languages at the European Conference on Object-Oriented Programming (ECOOP), 2007.
16. [NT02] Matthias Neubauer and Peter Thiemann. Type classes with more higher-order polymorphism. In Proceedings of the seventh ACM SIGPLAN International Conference on Functional Programming (ICFP'02), pages 179-190, New York, NY, USA, 2002. ACM Press.
17. [Ode02] Martin Odersky. Inferred type instantiation for GJ. Note sent to the types mailing list, January 2002.
18. [Ot07] Martin Odersky and the Scala Team. The Scala Language Specification (version 2.5). http://www.scala-lang.org/docu/files/ ScalaReference.pdf, June 2007.
19. [OZZ01] Martin Odersky, Matthias Zenger, and Christoph Zenger. Colored local type inference. In Proc. ACM Symposium on Principles of Programming Languages, pages 41-53, 2001.
20. [Pro04] The Coq Development Team (LogiCal Project). The Coq proof assistant reference manual (version 8.0). http://coq.inria.fr, 2004.
21. [PS94] Benjamin C. Pierce and Martin Steffen. Higher-order subtyping. In IFIP Working Conference on Programming Concepts, Methods and Calculi (PROCOMET), 1994. Rill version in Theoretical Computer Science, vol. 176, no. 1-2, pp. 235-282, 1997 (corrigendum in TCS vol. 184 (1997), p. 247).
22. [Tai67] William W. Tait. Intensional interpretations of functional of finite type I. Journal of Symbolic Logic, 32(2):198-212, June 1967.
23. +04] Mads Torgersen, Christian Plesner Hansen, Erik Ernst, Peter von der Ah, Gilad Bracha, and Neal Gafter. Adding wildcards to the Java programming language. In Proceedings of the 2004 ACM symposium on Applied computing, pages 1289-1296. ACM Press, 2004.
24. [Wad92] Philip Wadler. Monads for functional programming. In M. Broy, editor, Marktoberdorf Summer School on Program Design Calculi, volume 118 of NATO ASI Series F: Computer and systems sciences. Springer-Verlag, August 1992. Also in J. Jeuring and E. Meijer, editors, Advanced Functional Programming, Springer Verlag, LNCS 925, 1995.
25. [WF94] Andrew K. Wright and Matthias Felleisen. A syntactic approach to type soundness. Information and Computation, 115, 1994.