Featherweight Java: A Minimal Core Calculus for Java and GJ (1999)

by Atsushi Igarashi , Benjamin C. Pierce , Philip Wadler
Venue:ACM Transactions on Programming Languages and Systems
Citations:547 - 20 self

Documents Related by Co-Citation

195 Islands: aliasing protection in object-oriented languages. 6th OOPSLA – J Hogg - 1991
90 Simple Ownership Types for Object Containment – David G. Clarke, James Noble, John M. Potter - 2001
5242 Design Patterns: Elements of Reusable Object-Oriented Software – E Gamma, R Helm, R Johnson, J Vlissides - 1994
1616 The Java Language Specification – James Gosling, Bill Joy, Guy Steele, Gilad Bracha
61 Universes: A type system for controlling representation exposure – P Müller, A Poetzsch-Heffter - 1999
332 Ownership Types for Flexible Alias Protection – David G. Clarke, John M. Potter, James Noble - 1998
305 Ownership Types for Safe Programming: Preventing Data Races and Deadlocks – Chandrasekhar Boyapati, Robert Lee, Martin Rinard - 2002
134 Object Ownership and Containment – David Clarke - 2001
200 Alias Annotations for Program Understanding – Jonathan Aldrich, Valentin Kostadinov, Craig Chambers - 2002
258 Classes and Mixins – Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen - 1998
131 Ownership, Encapsulation and the Disjointness of Type and Effect – Dave Clarke, Sophia Drossopoulou - 2002
105 Confined Types – Boris Bokowski, Jan Vitek - 1999
211 Flexible Alias Protection – James Noble , Jan Vitek, John Potter - 1998
344 Making the future safe for the past: Adding Genericity to the Java Programming Language – Gilad Bracha , Martin Odersky, David Stoutamire, Philip Wadler - 1998
155 Adoption and Focus: Practical Linear Types for Imperative Programming – Manuel Fähndrich , Robert DeLine - 2002
125 Balloon Types: Controlling Sharing of State in Data Types – Paulo Sérgio Almeida - 1997
365 Types, abstraction and parametric polymorphism – J C Reynolds - 1983
40 Capabilities for sharing: A generalisation of uniqueness and read-only – J Boyland, J Noble, W Retert - 2001
95 Alias burying: Unique variables without destructive reads – John Boyland