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

by A Igarishi, B Pierce, P Wadler
Venue:In Proceedings of the ACM Conference on Object-Oriented Programming Systems and Languages (OOPSLA ’99