Featherwieght Java: A Minimal Core Calculus for Java and GJ.

Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler

Browse the full OOPSLA paper archive.