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

Active Bibliography

Featherweight Java – Minimal Core Calculus, Atsushi Igarashi, Benjamin Pierce, Philip Wadler - 1999
12 A Recipe for Raw Types – Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler - 2001
53 A Core Calculus of Classes and Mixins – Viviana Bono , Amit Patel, Vitaly Shmatikov - 1999
9 A Core Calculus of Classes and Objects – Viviana Bono, Amit Patel, Vitaly Shmatikov, John Mitchell - 1999
35 Type-Preserving Compilation of Featherweight Java – Christopher League, Valery Trifonov, Zhong Shao - 2001
32 Representing Java Classes in a Typed Intermediate Language – Christopher League, Zhong Shao, Valery Trifonov - 1999
39 A First-Class Approach to Genericity – Eric Allen, Jonathan Bannet, Robert Cartwright - 2003
34 The Recursive Record Semantics of Objects Revisited – Gérard Boudol, Projets Mimosa - 2001
254 Pict: A programming language based on the pi-calculus – Benjamin C. Pierce, David N. Turner - 1997
3 Game semantics for an object-oriented language – Nicholas Wolverson - 2008
5 A Core Calculus of Higher-Order Mixins and Classes – Lorenzo Bettini, Viviana Bono, Silvia Likavec
21 On variance-based subtyping for parametric types – Atsushi Igarashi, Mirko Viroli - 2002
97 A Nominal Theory of Objects with Dependent Types – Martin Odersky, Vincent Cremet, Christine Röckl, Matthias Zenger - 2002
Signature: A Type-Passing Implementation of Value Types and Genericity – Tim Owen, Tim Owen
4 Low-Level Type Systems for Modularity and Object-Oriented Constructs – Arthur Neal Glew - 2000
10 Mixins in Generic Java are Sound – Eric E. Allen, Jonathan Bannet, Robert Cartwright - 2003
66 Types for safe locking: Static race detection for Java – Martin Abadi, Cormac Flanagan, Stephen N. Freund - 2006
3 Extensible objects without labels – Christopher A. Stone - 2002
A Typed Calculus of Aspect-oriented Programs – Radha Jagadeesan , Alan Jeffrey, James Riely - 2003