A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2003; you can also visit the original URL.
The file type is application/pdf
.
Two Ways to Bake Your Pizza — Translating Parameterised Types into Java
[chapter]
2000
Lecture Notes in Computer Science
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. † This work was completed while at the University
doi:10.1007/3-540-39953-4_10
fatcat:mkhgeogjlncl7k6lbb3cjri72i