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