Christopher League Zhong Shao Valery Trifonov Type-preserving compilation of Featherweight Java. 112-152 2002 24 ACM Trans. Program. Lang. Syst. 2 http://doi.acm.org/10.1145/514952.514954 db/journals/toplas/toplas24.html#LeagueST02