Featherweight Java: A minimal core calculus for Java and GJ

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 34, Issue 10, 1999, Pages 132-146

  Igarashi, Atsushi ^a   Pierce, Benjamin ^a   Wadler, Philip ^b  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

^b LUCENT TECHNOLOGIES   (United States)

Author keywords

Language design and implementation; Theoretical foundations

Indexed keywords

EID: 17144380990     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/320385.320395     Document Type: Article

References (23)

1. Martín Abadi and Luca Cardelli. A Theory of Objects. Springer-Verlag, 1996.
2. Ole Agesen, Stephen N. Freund, and John C. Mitchell. Adding type parameterization to the Java language. In Object Oriented Programing: Systems, Languages, and Applications (OOPSLA), October 1997.
3. H. P. Barendregt. The Lambda Calculus. North Holland, revised edition, 1984.
4. Viviana Bono and Kathleen Fisher. An imperative first-order calculus with object extension. In Proceedings of the European Conference on Object-Oriented Programming (ECOOP), 1998.
5. Viviana Bono, Amit J. Patel, and Vitaly Shmatikov. A core calculus of classes and mixins. In Proceedings of the European Conference on Object-Oriented Programming (ECOOP), volume 1628 of Lecture Notes in Computer Science, pages 43-66. Springer-Verlag, June 1999.
6. Viviana Bono, Amit J. Patel, Vitaly Shmatikov, and John C. Mitchell. A core calculus of classes and objects. In Fifteenth Conference on the Mathematical Foundations of Programming Semantics, April 1999.
7. Gilad Bracha, Martin Odersky, David Stoutamire, and Philip Wadler. Making the future safe for the past: Adding genericity to the Java programming language. In Craig Chambers, editor, Object Oriented Programing: Systems, Languages, and Applications (OOPSLA), ACM SIGPLAN Notices volume 33 number 10, pages 183-200, Vancouver, BC, October 1998.
8. Kim B. Bruce. A paradigmatic object-oriented programming language: Design, static typing and semantics. Journal of Functional Programming, 4(2), April 1994. Preliminary version in POPL 1993, under the title "Safe type checking in a statically typed object-oriented programming language".
9. Luca Cardelli, Simone Martini, John C. Mitchell, and Andre Scedrov. An extension of system F with subtyping. Information and Computation, 109(1-2):4-56, 1994. Preliminary version in TAGS '91 (Sendai, Japan, pp. 750-770).
10. Robert Cartwright and Guy L. Steele Jr. Compatible genericity with run-time types for the Java programming language. In Craig Chambers, editor, Object Oriented Programing: Systems, Languages, and Applications (OOPSLA), SIGPLAN Notices 33(10), pages 201-215, Vancouver, BC, Octover 1998. ACM.
11. S. Drossopoulou, S. Eisenbach, and S. Khurshid. Is the Java Type System Sound? Theory and Practice of Object Systems, 7(1):3-24, 1999. Preliminary version in ECOOP '97.
12. Matthias Felleisen and Daniel P. Friedman. A little Java, A few Patterns. The MIT Press, Cambridge, Massachusetts, 1998.
13. Kathleen Fisher and John C. Mitchell. On the relationship between classes, objects, and data abstraction. Theory and Practice of Object Systems, 4(1):3-25, 1998.
14. Matthew Flatt, Shriram Krishnamurthi, and Matthias Felleisen. Classes and mixins. In ACM Symposium on Principles of Programming Languages (POPL), San Diego, January 1998. ACM.
15. Matthew Flatt, Shriram Krishnamurthi, and Matthias Felleisen. A programmer's reduction semantics for classes and mixins. Technical Report TR97-293, Computer Science Department, Rice University, February 1998. Corrected version appeared in June, 1999.
16. Atsushi Igarashi and Benjamin C. Pierce. On inner classes, July 1999. Submitted for publication.
17. Andrew C. Myers, Joseph A. Bank, and Barbara Liskov. Parameterized types for Java. In ACM Symposium on Principles of Programming Languages (POPL), January 1997.
18. light is type-safe - definitely. In ACM Symposium on Principles of Programming Languages (POPL), pages 161-170, San Diego, January 1998. ACM.
19. Martin Odersky and Philip Wadler. Pizza into Java: Translating theory into practice. In ACM Symposium on Principles of Programming Languages (POPL), 1997.
20. Benjamin C. Pierce and David N. Turner. Simple type-theoretic foundations for object-oriented programming. Journal of Functional Programming, 4(2):207-247, April 1994. Preliminary version in Principles of Programming Languages (POPL), 1993.
21. Don Syme. Proving Java type soundness. Technical Report 427, Computer Laboratory, University of Cambridge, June 1997.
22. Mitchell Wand. Type inference for objects with instance variables and inheritance. Technical Report NU-CCS-89-2, College of Computer Science, Northeastern University, February 1989. Also in Carl A. Gunter and John C. Mitchell, editors, Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design (MIT Press, 1994).
23. Mitchell Wand. Type inference for objects with instance variables and inheritance. Technical Report NU-CCS-89-2, College of Computer Science, Northeastern University, February 1989. Also in Carl A. Gunter and John C. Mitchell, editors, Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design (MIT Press, 1994).