Gilad Bracha, Martin Odersky, David Stoutamirc, Philip Wadler  Home/Search
Context Related
| belllabs.com/who/...opslaletter.ps.gz unisa.edu.au/~cismxo/p...oopsla98.ps.gz belllabs.com/who/...gjoopslaa4.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 Problem Downloading? From: belllabs.com/who/wadler...recent (more) From: belllabs.com/who/wadler...recent (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present GJ, a design that extends the Java programming language with generic types and methods. These are both explained and implemented by translation into the unextended language. The translation closely mimics the way generics are emulated by programmers: it erases all type parameters, maps type variables to their bounds, and inserts casts where needed. Some subtleties of the translation are caused by the handling of overriding. GJ increases expressiveness and safety: code utilizing... (Update)
Cited by: More
A Comparative Study of Language Support for Generic.. - Garcia, Järvi.. (2003) (Correct)
Typed Parametric Polymorphism for Aspects - Jagadeesan, Jeffrey, Riely (2006) (Correct)
Towards Automating the Iterative Rapid Prototyping.. - Herranz-Nieva.. (Correct)
Similar documents (at the sentence level): More
73.7%: Making the future safe for the past: Adding Genericity.. - Bracha, Odersky.. (1998) (Correct)
73.2%: Making the Future Safe for the Past: - Adding Genericity To (Correct)
21.7%: GJ: Extending the Java programming language with type.. - Bracha, Odersky.. (1998) (Correct)
Active bibliography (related documents): More All
0.3: Unifying Genericity: Combining the Benefits of Virtual Types .. - Thorup, Torgersen (1999) (Correct)
0.2: Parametric Polymorphism in Java through the Homogeneous.. - Viroli, Natali (2000) (Correct)
0.2: Leftover Curry and reheated Pizza: How functional programming .. - Odersky, Wadler (1998) (Correct)
Similar documents based on text: More All
0.7: A Statically Safe Alternative to Virtual Types - Bruce, Odersky, Wadler (1998) (Correct)
0.7: Compatible Genericity with Run-time Types for the Java.. - Cartwright, Jr. (1998) (Correct)
0.6: GJ Specification - Bracha, Odersky, Stoutamire, Wadler (1998) (Correct)
Related documents from co-citation: More All
41: Pizza into Java: Translating Theory into Practice - Odersky, Wadler - 1997
34: Parameterized Types for Java - Myers, Bank et al. - 1997
32: Adding Type Parameterization to the Java Language - Agesen, Freund et al. - 1997
BibTeX entry: (Update)
Gilad Bracha, Martin Odersky, David Stoutamire, and Philip Wadler. Making the future safe for the past: Adding Genericity to the Java Programming Language, 1998. submitted to OOPSLA'98. http://citeseer.ist.psu.edu/article/bracha98making.html More
@inproceedings{ bracha98making,
author = "Gilad Bracha and Martin Odersky and David Stoutamire and Philip Wadler",
title = "Making the Future Safe for the Past: Adding Genericity to the {Java} Programming Language",
booktitle = "{ACM} {S}ymposium on {O}bject {O}riented {P}rogramming: {S}ystems, {L}anguages, and {A}pplications ({OOPSLA})",
address = "Vancouver, BC",
editor = "Craig Chambers",
pages = "183--200",
year = "1998",
url = "citeseer.ist.psu.edu/article/bracha98making.html" }
Citations (may not include all citations):862 The Java language specification - Gosling, Joy et al. - 1996
809 A theory of type polymorphism in programming (context) - Milner - 1978 DBLP
746 The Java Virtual Machine specification (context) - Lindholm, Yellin - 1996
554 Design Patterns : Elements of Reusable Object-Oriented Softw.. (context) - Gamma, Helm et al. - 1994
492 Smalltalk-80: the Language and Its Implementation (context) - Goldberg, Robson - 1983
238 Pizza into Java: Translating theory into practice - Odersky, Wadler - 1997 DBLP
187 Type inclusion constraints and type inference - Aiken, Wimmers - 1993 ACM DBLP
72 Sound polymorphic type inference for objects - Eifrig, Smith et al. - 1995 ACM DBLP
58 Simple imperative polymorphism - Wright - 1995 ACM DBLP
53 Compatible genericity with run-time types for the Java progr.. - Cartwright, Steele - 1998 ACM DBLP
42 A statically safe alternative to virtual types - Bruce, Odersky et al. - 1998 ACM DBLP
36 Genericity in Java with virtual types - Thorup - 1997 DBLP
24 Fbounded polymorphism for object-oriented programming (context) - Canning, Cook et al. - 1989
21 Strongtalk: Typechecking Smalltalk in a production environme.. - Bracha, Griswold - 1993 DBLP
19 Virtual types are statically safe (context) - Togersen - 1998
17 Adding parameterized types to Java (context) - Agesen, Freund et al. - 1997
9 Lightweight Parametric Polymorphism for Oberon - Roe, Szyperski - 1997 ACM DBLP
5 Symposium on Principles of Programming Languages (context) - Myers, Bank et al. - 1997
5 th Workshop on Foundations of Object-Oriented Languages (context) - Thorup, Togersen et al. - 1998
3 Measuring the cost of parameterized types in Java (context) - Odersky, Runne - 1998
3 Available at the GJ web site (context) - Bracha, Odersky et al. - 1998
3 Symposium on Principles of Programming Languages (context) - Pierce, Turner et al. - 1998
3 GJ: the Java programming language with type parameters (context) - Bracha, Odersky et al. - 1998
2 Available from www (context) - Odersky, compiler
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.bell-labs.com/who/wadler/topics/recent.html): More
A Reflection on Call-by-Value - Sabry, Wadler (1996) (Correct)
How to solve the reuse problem? Functional programming - Wadler (1998) (Correct)
GJ: Extending the Java programming language with type.. - Bracha, Odersky.. (1998) (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