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

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