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:658 - 23 self