A Statically Safe Alternative to Virtual Types (1998)
Cached
Download Links
- [www.ifs.uni-linz.ac.at]
- [www.research.avayalabs.com]
- [lampwww.epfl.ch]
- [ftp.cs.williams.edu]
- DBLP
Other Repositories/Bibliography
by
Kim B. Bruce
,
Martin Odersky
,
Philip Wadler
| Citations: | 69 - 14 self |
BibTeX
@INPROCEEDINGS{Bruce98astatically,
author = {Kim B. Bruce and Martin Odersky and Philip Wadler},
title = {A Statically Safe Alternative to Virtual Types},
booktitle = {},
year = {1998},
pages = {523--549},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
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.
