⁵Martin wrote the original javac compiler for Sun, and more recently led the Pizza and GJ projects that eventually became Java Generics. His home page is at http://lamp.epfl.ch/"odersky/