@inproceedings{229170fb7f6040dd9906b23d90386ae0,
title = "A statically safe alternative to virtual types",
abstract = "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. ",
author = "KimB. Bruce and Martin Odersky and Philip Wadler",
year = "1998",
doi = "10.1007/BFb0054106",
language = "English",
isbn = "978-3-540-64737-9",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "523--549",
editor = "Eric Jul",
booktitle = "ECOOP'98 - Object-Oriented Programming",
address = "United Kingdom",
}