Type-preserving compilation of featherweight Java (2001)

by V Trifonov League, Z Shao
Venue:In Proc. 8th Foundations of Object-Oriented Languages Workshop