Pizza into Java: Translating Theory into Practice

Pizza is a strict superset of Java that incorporates three ideas from the academic community: parametric polymorphism, higher-order functions, and algebraic data types. Pizza is defined by translation into Java and compiles into the Java Virtual Machine, requirements which strongly constrain the design space. Nonetheless, Pizza fits smoothly to Java, with only a few rough edges.

• Type: Conference
• Year: 1997
• Where: POPL
• Authors: Martin Odersky, Philip Wadler
• Keywords: Algebraic Data Types, Java Virtual Machine, Pizza, POPL 1997, Programming Languages