Pizza into Java: Translating theory into practice (1997)

by M Odersky, P Wadler
Venue:In Proc. POPL’97