Featherweight Java
- 1 October 1999
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 34 (10) , 132-146
- https://doi.org/10.1145/320384.320395
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- A Core Calculus of Classes and ObjectsElectronic Notes in Theoretical Computer Science, 1999
- Compatible genericity with run-time types for the Java programming languageACM SIGPLAN Notices, 1998
- Making the future safe for the pastACM SIGPLAN Notices, 1998
- Classes and mixinsPublished by Association for Computing Machinery (ACM) ,1998
- Javalight is type-safe---definitelyPublished by Association for Computing Machinery (ACM) ,1998
- Adding type parameterization to the Java languagePublished by Association for Computing Machinery (ACM) ,1997
- Pizza into JavaPublished by Association for Computing Machinery (ACM) ,1997
- A paradigmatic object-oriented programming language: Design, static typing and semanticsJournal of Functional Programming, 1994
- Simple type-theoretic foundations for object-oriented programmingJournal of Functional Programming, 1994
- An Extension of System F with SubtypingInformation and Computation, 1994