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]

Authors

Atsushi Igarashi

This author has not been identified. Look up 'Atsushi Igarashi' in Google

Benjamin C. Pierce

Identified as Benjamin C. Pierce

Philip Wadler

Identified as Philip Wadler