Parametric types and virtual types have recently been proposed as extensions to Java to support genericity. In this paper we investigate the strengths and weaknesses of each. We suggest a variant of virtual types which has similar expressiveness, but supports safe static type checking. This results in a language in which both parametric types and virtual types are well-integrated, and which is statically type-safe.
|Title of host publication||ECOOP'98 - Object-Oriented Programming|
|Subtitle of host publication||12th European Conference Brussels, Belgium, July 20–24, 1998 Proceedings |
|Number of pages||27|
|ISBN (Electronic)||978-3-540-69064-1 |
|Publication status||Published - 1998|
|Name||Lecture Notes in Computer Science|
|Publisher||Springer Berlin / Heidelberg|