Type-preserving compilation of featherweight java. (2002)

by Christopher League, Zhong Shao, Valery Trifonov
Venue:ACM Trans. Program. Lang. Syst.,