Featherweight Java: a minimal core calculus for Java and GJ (0)

by Atsushi Igarashi, Benjamin Pierce, Philip Wadler
Venue:ACM Transactions on Programming Languages and Systems