Pizza into Java: Translating Theory into Practice (1997)

by M Odersky, P Wadler
Venue:In Proceedings of the 24th ACM Symposium on Principles of Programming Languages. Pp. 146–159