1. Introduction. In 2004, Java 5 introduced generics, i.e. parametric polymor- phism, to the Java ... 12 years ago, both languages were unsound; the examples we will present were ... Classes and interfaces can be specified to have type pa- rameters and ...... Technical report, University of Cambridge, April. 2003. [4] Gilad ...
215KB Sizes
1 Downloads
224 Views