(Enter summary)
Abstract: Java offers the real possibility that most programs can be written in a type-safe language. However, for Java to be broadly useful, it needs additional expressive power. This paper extends Java in one area where more power is needed: support for parametric polymorphism, which allows the definition and implementation of generic abstractions. We discuss both the rationale for our design decisions and the impact of the extension on other parts of Java, including arrays and the class library. We... (Update)
Cited by: More
A Comparative Study of Language Support for Generic.. - Garcia, Järvi.. (2003)
(Correct)
Retrospective: - Til Type-Directed Optimizing
(Correct)
Introducing safe unknown types in Java-like languages - Lagorio Via Dodecaneso (2006)
(Correct)
Similar documents (at the sentence level):
43.2%: Parameterized Types and Java - Bank, Liskov, Myers (1997)
(Correct)
Active bibliography (related documents): More All
0.5: A Fault-Tolerant Network Kernel For Linda - Xu (1988)
(Correct)
0.3: Code Importing Techniques for Fast, Safe Client/Server Access - Bank (1996)
(Correct)
0.3: Subtypes vs. Where Clauses: Constraining Parametric.. - Day, Gruber, Liskov, Myers (1995)
(Correct)
Similar documents based on text: More All
0.2: Parameterized Types for Java - Myers, Bank, Liskov (1997)
(Correct)
0.1: Complete, Safe Information Flow with Decentralized Labels - Myers, Liskov (1998)
(Correct)
0.1: Protecting Privacy using the Decentralized Label Model - Myers, Liskov (2000)
(Correct)
Related documents from co-citation: More All
54: Making the future safe for the past: Adding Genericity to the Java Programming L..
- Bracha, Odersky et al. - 1998
43: Pizza into Java: Translating Theory into Practice
- Odersky, Wadler - 1997
41: Adding Type Parameterization to the Java Language
- Agesen, Freund et al. - 1997
BibTeX entry: (Update)
Myers, A.C., Bank, J.A., and Liskov, B., "Parameterized Types for Java", Proc. 1997 ACM Symp. on Principles of Prog. Langs., pp. 132--145, Jan. 1997. http://citeseer.ist.psu.edu/article/myers97parameterized.html More
@inproceedings{ myers97parameterized,
author = "Andrew C. Myers and Joseph A. Bank and Barbara Liskov",
title = "Parameterized Types for {Java}",
booktitle = "Conference Record of {POPL} '97: The 24th {ACM} {SIGPLAN}-{SIGACT} Symposium on Principles of Programming Languages",
address = "New York, NY",
pages = "132--145",
year = "1997",
url = "citeseer.ist.psu.edu/article/myers97parameterized.html" }
Citations (may not include all citations):
1274
Object-oriented Software Construction (context) - Meyer - 1988 ACM
1074
The Definition of Standard ML (context) - Milner, Tofte et al. - 1990 ACM
1002
Programming Language (context) - Stoustrup - 1987
127
Systems Programming with Modula (context) - Nelson - 1991
92
An introduction to Trellis/Owl (context) - Schaffert - 1986 ACM DBLP
82
Object Oriented Programming in the BETAProgramming Language (context) - Madsen, Moller-Pedersen et al. - 1993
79
CLU reference manual (context) - Liskov - 1981 ACM
77
Java Language Specification (context) - Microsystems - 1995
71
bounded polymorphism for object-oriented programming (context) - Canning, Cook et al. - 1989
66
International Computer Science Institute (context) - Omohundro, Lim et al. - 1992
61
where clauses: Constraining parametric polymorphism (context) - Day, Gruber et al. - 1995
45
The Java Virtual Machine Specification (context) - Microsystems - 1995
41
Programming Methodology Group Memo (context) - Liskov, Curtis et al. - 1994
33
The Java Virtual Machine (context) - Lindholm, Yellin - 1996 ACM
28
Multiple inheritance for C
- Stroustrup - 1987
21
The Sather programming language (context) - Omohundro - 1993 ACM
8
ACM SIGPLAN Notices (context) - Katiyar, Luckham et al. - 1994
8
Bidirectional object layout for separate compilation
- Myers - 1995 ACM DBLP
3
Presented at the Fourth International World Wide Web Confere.. (context) - Yellin, in et al. - 1995
2
Massachusetts Institute of Technology (context) - Bank, Liskov et al. - 1996
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.tns.lcs.mit.edu/~djw/library/): More
Packet Loss Correlation in the MBone Multicast Network - Yajnik, Kurose, Towsley (1996)
(Correct)
Pickling State in the Java System - Riggs, Waldo, al. (1996)
(Correct)
Application Performance and Flexibility on Exokernel.. - Kaashoek, Engler.. (1997)
(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