A statically safe alternative to virtual types

KimB. Bruce, Martin Odersky, Philip Wadler

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.
Original languageEnglish
Title of host publicationECOOP'98 - Object-Oriented Programming
Subtitle of host publication12th European Conference Brussels, Belgium, July 20–24, 1998 Proceedings
EditorsEric Jul
PublisherSpringer-Verlag GmbH
Pages523-549
Number of pages27
ISBN (Electronic)978-3-540-69064-1
ISBN (Print)978-3-540-64737-9
DOIs
Publication statusPublished - 1998

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin / Heidelberg
Volume1445
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Cite this