Featherweight Java: A Minimal Core Calculus for Java and GJ (2002) [pdf]
Featherweight Java: A Minimal Core Calculus for Java and GJ (2002) [pdf]
Jun 30, 2020, 1:20am UTC
https://www.cis.upenn.edu/~bcpierce/papers/fj-toplas.pdf