Featherweight Java: a minimal core calculus for Java and GJ

Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler. Featherweight Java: a minimal core calculus for Java and GJ. ACM Transactions on Programming Languages and Systems, 23(3):396-450, 2001. [doi]

Abstract

Abstract is missing.