Pizza into Java: translating theory into practice (1997)

by M Odersky, P Wadler
Venue:Proc. 24th ACM Symp. on Principles ofProgramming Languages