Featherweight Java -- A minimal core calculus for Java and GJ (2001)

by Atsushi Igarashi , Benjamin Pierce , Philip Wadler
Venue: TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS (TOPLAS
Citations:548 - 20 self