Kim B. Bruce, Martin Odersky, Philip Wadler  Home/Search
Context Related
| belllabs.com/~wadler...parvsvirt.ps.gz belllabs.com/who/wad...parvsvirt.ps.gz williams.edu/pub/ki...VirtTypeAlt.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: belllabs.com/~wadler/to...recent (more) From: belllabs.com/who/wadler...recent Homepages: K.Bruce |
Rate this article:      (best)Comment on this article |
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. Keywords: Language design, virtual types, parametric polymorphism, static type ... (Update)
Cited by: More
A Static C++ Object-Oriented Programming (SCOOP).. - Burrus.. (Correct)
Smart Modules for Java-like Languages - Davide Ancona Giovanni (2004) (Correct)
Using, Understanding, and Unraveling - The OCaml Language - From.. - Remy (Correct)
Similar documents (at the sentence level):
34.7%: Workshop Committee - Workshop Chairs Kim (Correct)
33.8%: A statically safe alternative to virtual types (Extended.. - Bruce, Odersky, Wadler (1998) (Correct)
29.8%: A Statically Safe Alternative to Virtual Types - Bruce, Odersky, Wadler (1997) (Correct)
Active bibliography (related documents): More All
0.3: Rupiah: An extension to Java supporting match-bounded parametric .. - Burstein (1998) (Correct)
0.3: GJ: Extending the Java programming language with type.. - Bracha, Odersky.. (1998) (Correct)
0.3: Leftover Curry and reheated Pizza: How functional programming .. - Odersky, Wadler (1998) (Correct)
Similar documents based on text: More All
0.5: Parametric Types for Typed Attribute Value Logic - Penn (1998) (Correct)
0.3: Semantics-Driven Language Design: Statically - Types (Correct)
0.3: LOOJ: Weaving LOOM into Java - Kim Bruce And (2004) (Correct)
Related documents from co-citation: More All
22: Genericity in Java with virtual types - Thorup - 1997
18: Polytoil: A type-safe polymorphic object-oriented language - Bruce, Schuett et al. - 1995
17: Pizza into Java: Translating Theory into Practice - Odersky, Wadler - 1997
BibTeX entry: (Update)
Kim B. Bruce, Martin Odersky, and Philip Wadler. A statically safe alternative to virtual types. European Conference on Object-Oriented Programming, July 1998. (An earlier version was presented at 5th Workshop on Foundations of Object-Oriented Languages, January 1998.) http://citeseer.ist.psu.edu/article/bruce98statically.html More
@article{ bruce98statically,
author = "Kim B. Bruce and Martin Odersky and Philip Wadler",
title = "A Statically Safe Alternative to Virtual Types",
journal = "Lecture Notes in Computer Science",
volume = "1445",
pages = "523--??",
year = "1998",
url = "citeseer.ist.psu.edu/article/bruce98statically.html" }
Citations (may not include all citations):325 Towards a theory of type structure (context) - Reynolds
238 Pizza into Java: Translating theory into practice - Odersky, Wadler - 1997
107 Object-Oriented Type Systems (context) - Palsberg, Schwartzbach - 1994
106 PolyTOIL: A type-safe polymorphic object-oriented language - Bruce, Schuett et al. - 1995
100 Object-Oriented Programming in the Beta Programming Language (context) - Madsen, Moller-Pedersen et al. - 1993
97 and parametric polymorphism (context) - Reynolds, abstraction
91 and John Vlissides (context) - Gamma, Helm et al. - 1995
87 Parameterized types for Java - Myers, Bank et al. - 1997
75 A paradigmatic object-oriented programming language: design - Bruce - 1994
71 bounded polymorphism for object-oriented programming (context) - Canning, Cook et al. - 1989
45 for object-oriented languages (context) - Bruce, Fiech et al. - 1997
36 Genericity in Java with virtual types - Thorup - 1997
28 Virtual classes: A powerful mechanism for object-oriented pr.. (context) - Madsen, Moller-Pedersen - 1989
19 Lecture notes for International Summer School in Computer Pr.. (context) - Strachey, in et al. - 1967
19 Objective ML: An effective object-oriented extension to ML - R'emy, Vouillon - 1998
19 Virtual types are statically safe (context) - Torgersen - 1998
17 Adding parameterized types to Java (context) - Agesen, Freund et al. - 1997
13 Increasing Java's expressiveness with ThisType and matchboun.. - Bruce - 1997
6 Theory and Practice of Object-Oriented Systems (context) - Bruce, Cardelli et al. - 1995
6 Yet another parametric types proposal (context) - Cartwright, Steele - 1997
5 Safe static type checking with systems of mutually recursive.. - Bruce - 1997
5 Abstraction mechanisms in the Beta programming language (context) - Kristensen, Madsen et al. - 1983
1 Leftover Curry and reheated Pizza: How functional programmin.. - Odersky, Wadler - 1998
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.bell-labs.com/~wadler/topics/recent.html): More
A Reflection on Call-by-Value - Sabry, Wadler (1996) (Correct)
Pizza into Java: Translating theory into practice - Odersky (1997) (Correct)
Lazy vs. Strict - Wadler (1996) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC