Two Ways to Bake Your Pizza -- 
Translating Parameterised Types into Java

Martin Odersky, University of South Australia
Enno Runne, University of Karlsruhe
Philip Wadler, Lucent Technologies

University of South Australia Technical Report CIS-97-016
November, 1997

We have identified in previous work two translations for
parametrically typed extensions of Java. The homogeneous translation
maps type variables to a uniform representation, while the
heterogeneous translation expands the program by specialising
parameterised classes according to their arguments.  This paper
describes both translations in detail, compares their time and space
requirements and discusses how each affects the Java security model.