LOOJ: Weaving LOOM into java

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3086, Issue , 2004, Pages 389-413

  Bruce, Kim B ^a   Nathan Foster, J ^b  

^a WILLIAMS COLLEGE   (United States)

^b UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

Formal semantics; Mytype; Object oriented language design; Static type systems; Thisclass; Thistype

Indexed keywords

EID: 33750721879     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Article

References (19)

1. [ABC03] Eric Allen, Jonathan Bannet, and Robert Cartwright. A first-class approach to genericity. In Proceedings of the 18th ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications, pages 96-114. ACM Press, 2003.
2. [AFM97] Ole Agesen, Stephen N. Freund, and John C. Mitchell. Adding type parameterization to the Java language. In Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, pages 49-65. ACM Press, 1997.
3. +01] Gilad Bracha, Norman Cohen, Christian Kemper, Steve Marx, Martin Odersky, Sven-Eric Panitz, David Stoutamire, Kresten Thorup, and Philip Wadler. Adding generics to the Java programming language. URL: http://jcp.org/aboutJava/communityprocess/review/jsr014/ index.html, 2001.
4. [BFP97] Kim B. Bruce, Adrian Fiech, and Leaf Petersen. Subtyping is not a good "match" for object-oriented languages. In ECOOP '97, pages 104-127. LNCS 1241, Springer-Verlag, 1997.
5. [BFSvGOS] Kim B. Bruce, Adrien Fiech, Angela Schuett, and Robert van Gent. PolyTOIL: A type-safe polymorphic object-oriented language. ACM TOPLAS, 25(2):225-290, 2003.
6. [BOSW98] Gilad Bracha, Martin Odersky, David Stoutamire, and Philip Wadler. Making the future safe for the past: Adding genericity to the Java programming language. In Object-Oriented Programming: Systems, Languages, Applications (OOPSLA), Vancouver, October 1998. ACM.
7. [Bru02] Kim B. Bruce. Foundations of Object-Oriented Languages: Types and Semantics. MIT Press, Cambridge, MA, 2002.
8. [Bru03] Kim B. Bruce. Some challenging typing issues in object-oriented languages. In Electronic notes in Theoretical Computer Science, volume 82 (no. 8), 2003. URL: http://www.elsevier.nl/gej-ng/ 31/29/23/133/51/show/Products/ notes/index.htt, 29 pages.
9. [BSvG95] Kim B. Bruce, Angela Schuett, and Robert van Gent. PolyTOIL: A typesafe polymorphic object-oriented language, extended abstract. In ECOOP '95, pages 27-51. LNCS 952, Springer-Verlag, 1995.
10. [Bur98] Jon Burstein. Rupiah: An extension to Java supporting match-bounded parametric polymorphism, ThisType, and exact typing. Williams College Senior Honors Thesis, 1998.
11. BV99] Kim B. Bruce and Joseph C. Vanderwaart. Semantics-driven language design: Statically type-safe virtual types in object-oriented languages. In Electronic notes in Theoretical Computer Science, volume 20, 1999. URL: http://www.elsevier.nl/locate/entcs/volume20.html, 26 pages.
12. CS98] R. Cartwright and G. Steele, Jr. Compatible genericity with run-time types for the Java programming language, 1998.
13. Fos0l] John N. Foster. Rupiah: Towards an Expressive Static Type System for Java. Williams College Senior Honors Thesis, 2001.
14. Gon03] Robert Gonzalez. In the World of Type Checking, Smarter Is Faster. Williams College Senior Honors Thesis, 2003.
15. GRJV94] E. Gamma, R.Helm, R. Johnson, and J. Vlissides. Design Patterns: Abstraction and reuse of object-oriented designs. Addison-Wesley, 1994.
16. IPW99] Atshushi Igarashi, Benjamin Pierce, and Philip Wadler. Featherweight Java: A minimal core calculus for Java and GJ. In Loren Meissner, editor, Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages & Applications (OOPSLA '99), volume 34(10), pages 132-146, N. Y., 1999.
17. MBL97] Andrew C. Myers, Joseph A. Bank, and Barbara Liskov. Parameterized types for Java. In ACM Symposium on the Principles of Programming Languages, pages 132-145. ACM, 1997.
18. [OW97] Martin Odersky and Philip Wadler. Pizza into Java: Translating theory into practice. In 24th ACM Symp. on the Principles of Programming Languages, pages 146-159. ACM, 1997.
19. [VN00] Mirko Viroli and Antonio Natali. Parametric polymorphism in Java: an approach to translation based on reflective features. In Object-Oriented Programming: Systems, Languages, Applications (OOPSLA), Minneapolis, October 2000. ACM.