Kim B. Bruce, Martin Odersky, Philip Wadler  Home/Search
Context Related
| unisa.edu.au/~cismxo/papers...alt.ps.gz diwww.epfl.ch/~odersky/pape...alt.ps.gz lampwww.epfl.ch/~odersky/pa...alt.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: unisa.edu.au/~cismxo/papers/ (more) (Enter author homepages) |
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 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... (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):
48.4%: A Statically Safe Alternative to Virtual Types - Bruce, Odersky, Wadler (1998) (Correct)
Active bibliography (related documents): More All
0.8: A statically safe alternative to virtual types (Extended.. - Bruce, Odersky, Wadler (1998) (Correct)
0.3: Rupiah: An extension to Java supporting match-bounded parametric .. - Burstein (1998) (Correct)
0.2: GJ: Extending the Java programming language with type.. - Bracha, Odersky.. (1998) (Correct)
Similar documents based on text: More All
0.5: Parametric Types for Typed Attribute Value Logic - Penn (1998) (Correct)
0.3: Making the Future Safe for the Past: - Adding Genericity To (Correct)
0.3: Type-Directed Partial Evaluation in Haskell - Rose (1998) (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/bruce97statically.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/bruce97statically.html" }
Citations (may not include all citations):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
91 and John Vlissides (context) - Gamma, Helm et al. - 1995
87 Parameterized types for Java - Myers, Bank et al. - 1997
63 Three approaches to type structure (context) - Reynolds - 1985
45 for object-oriented languages (context) - Bruce, Fiech et al. - 1997
36 Genericity in Java with virtual types - Thorup - 1997
24 Fbounded polymorphism for object-oriented programming (context) - Canning, Cook et al. - 1989
17 Adding parameterized types to Java (context) - Agesen, Freund et al. - 1997
13 Increasing Java's expressiveness with ThisType and match-bou.. - Bruce - 1997
6 Yet another parametric types proposal (context) - Cartwright, Steele - 1997
6 Theory and Practice of Object-Oriented Systems (context) - Bruce, Cardelli et al. - 1995
5 Safe static type checking with systems of mutually recursive.. - Bruce - 1997
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cis.unisa.edu.au/~cismxo/papers/): More
Making the future safe for the past: Adding.. - Bracha, Odersky.. (1998) (Correct)
Two Ways to Bake Your Pizza - Translating Parameterised Types.. - Odersky (1997) (Correct)
Observers for Linear Types - Martin Odersky (1992) (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