Type-preserving compilation of Featherweight Java (2002)

by C League, Z Shao, V Trifonov
Venue:ACM Transactions on Programming Languages and Systems