Pizza

Martin Odersky and Philip Wadler

A Java extension with parametric polymorphism, first-class functions, class cases and pattern matching.