"Pizza into Java: Translating Theory into Practice."

Martin Odersky, Philip Wadler (1997)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics