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]

Possibly Related Publications

The following publications are possibly variants of this publication: