Access Restriction

Author Bruce, Kim B. ♦ Odersky, Martin ♦ Wadler, Philip
Source CiteSeerX
Content type Text
Publisher Springer-Verlag
File Format PDF
Language English
Subject Domain (in DDC) Computer science, information & general works ♦ Data processing & computer science
Subject Keyword Similar Issue ♦ Static Type ♦ Virtual Type ♦ Parametric Type ♦ Language Design ♦ Bruce Bru97 ♦ Parametric Polymorphism ♦ Good Question ♦ First Step ♦ Similar Expressiveness ♦ Statically Safe Alternative ♦ Mitchell Afm97 ♦ Safe Static Type Checking ♦ Liskov Mbl97 ♦ Good Answer
Description Parametric types and virtual types have recently been proposed as extensions to Java to support genericity. In this paper we examine both in order to 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. Keywords: Language design, virtual types, parametric polymorphism, static type checking The first step to a good answer is a good question. This note raises (and suggests an answer to) the question: Can the best features of parametric types and virtual types be integrated? Parametric types and virtual types have both been proposed as extensions to Java, and address roughly similar issues. Parametric types have been proposed by Myers, Bank, and Liskov [MBL97], Agesen, Freund, and Mitchell [AFM97], by Bruce [Bru97], and by Odersky and Wadler as part ...
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research
Education Level UG and PG ♦ Career/Technical Study
Learning Resource Type Article
Publisher Date 1997-01-01