Sciweavers

ECOOP
1998
Springer

A Statically Safe Alternative to Virtual Types

14 years 3 months ago
A Statically Safe Alternative to Virtual Types
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.
Kim B. Bruce, Martin Odersky, Philip Wadler
Added 05 Aug 2010
Updated 05 Aug 2010
Type Conference
Year 1998
Where ECOOP
Authors Kim B. Bruce, Martin Odersky, Philip Wadler
Comments (0)