Atsushi Igarashi, Mirko Viroli  Home/Search
Context Related
| mit.edu/readinggr...arianceECOOP02.ps 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: mit.edu/readinggroup/fall02 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We develop the mechanism of variant parametric types, inspired by structural virtual types by Thorup and Torgersen, as a means to enhance synergy between parametric and inclusive polymorphism in object-oriented languages. Variant parametric types are used to control both subtyping between di#erent instantiations of one generic class and the visibility of their fields and methods. On one hand, one parametric class can be used as either covariant, contravariant, or bivariant by attaching a ... (Update)
Context of citations to this paper: More
.... recent work indicates that by imposing restrictions on the use of classes that can be specialized covariantly, this need not be the case [25, 49, 50]. 2.3 Unifying inheritance and partial evaluation Partial evaluation specializes a method by constraining the domain of its...
Cited by: More
Converting Java Programs to Use Generic Libraries - Alan Donovan Adam (2004) (Correct)
A First-Class Approach to Genericity - Allen (2003) (Correct)
Automatic Discovery of Covariant Read-Only Fields - Palsberg, Zhao, Jim (2002) (Correct)
Active bibliography (related documents): More All
0.4: A Nominal Theory of Objects with Dependent Types - Odersky, Cremet, Röckl, Zenger (2002) (Correct)
0.3: PolyTOIL: A type-safe polymorphic object-oriented language - Bruce, Fiech (1995) (Correct)
0.3: Defaulting Generic Java to Ownership - Alex Potanin James (2004) (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
0.4: Multi-Agent Systems as Composition of Observable Systems - Mirko Viroli And (2001) (Correct)
0.4: Resource Usage Analysis - Igarashi, Kobayashi (2002) (Correct)
0.3: Instructions-Based Semantics of Agent Mediated Interaction - Viroli, Ricci (2004) (Correct)
Related documents from co-citation: More All
3: Making the future safe for the past: Adding Genericity to the Java Programming L.. - Bracha, Odersky et al. - 1998
2: Customization: Optimizing compiler technology for SELF (context) - Chambers, Ungar - 1989
2: Parameterized Types for Java - Myers, Bank et al. - 1997
BibTeX entry: (Update)
A. Igarashi and M. Viroli. On variance-based subtyping for parametric types. In Proceedings of the European Conference on Object-oriented Programming (ECOOP'02), Lecture Notes in Computer Science, pages 441--469, Malaga, Spain, June 2002. Springer-Verlag. http://citeseer.ist.psu.edu/igarashi02variancebased.html More
@misc{ igarashi02variancebased,
author = "A. Igarashi and M. Viroli",
title = "On variance-based subtyping for parametric types",
text = "A. Igarashi and M. Viroli. On variance-based subtyping for parametric types.
In Proceedings of the European Conference on Object-oriented Programming
(ECOOP'02), Lecture Notes in Computer Science, pages 441--469, Malaga, Spain,
June 2002. Springer-Verlag.",
year = "2002",
url = "citeseer.ist.psu.edu/igarashi02variancebased.html" }
Citations (may not include all citations):311 Abstract types have existential types (context) - Mitchell, Plotkin - 1985
306 A syntactic approach to type soundness - Wright, Felleisen - 1994
215 A type-theoretic approach to higher-order modules with shari.. - Harper, Lillibridge - 1994
178 Making the future safe for the past: Adding genericity to th.. - Bracha, Odersky et al. - 1998
128 On understanding types (context) - Cardelli, Wegner - 1985
117 Featherweight Java: A minimal core calculus for Java and GJ - Igarashi, Pierce et al. - 1999
106 PolyTOIL: A type-safe polymorphic object-oriented language - Bruce, Schuett et al. - 1995
89 A parallel object-oriented language with inheritance and sub.. (context) - America, van der Linden - 1990
84 Adding type parameterization to the Java language - Agesen, Freund et al. - 1997
74 Safe type checking in a statically typed object-oriented pro.. (context) - Bruce, object-oriented et al. - 1993
61 where clauses: Constraining parametric polymorphism (context) - Day, Gruber et al. - 1995
53 Compatible genericity with run-time types for the Java progr.. - Cartwright, Jr - 1998
45 for object-oriented languages (context) - Bruce, Petersen et al. - 1997
42 A statically safe alternative to virtual types - Bruce, Odersky et al. - 1998
40 modules and separate compilation (context) - Leroy - 1994
36 Genericity in Java with virtual types - Thorup - 1997
33 Parameterized types for Java (context) - Meyers, Bank et al. - 1997
30 NET Common Language Runtime (context) - Syme, Kennedy et al. - 2001
30 Parametric polymorphism in Java: an approach to translation .. (context) - Viroli, Natali - 2000
25 Theoretical Computer Science (context) - Ghelli, Pierce et al. - 1998
21 Engineering a programming language: The type and class syste.. (context) - Szyperski, Omohundro et al.
21 Strongtalk: Typechecking Smalltalk in a production environme.. - Bracha, Griswold - 1993
19 Virtual types are statically safe (context) - Torgersen - 1998
19 Virtual classes: A powerful mechanism in object-oriented pro.. (context) - Madsen, Mller-Pedersen - 1989
15 Fbounded quantification for object-oriented programming (context) - Canning, Cook et al. - 1989
12 Parametric polymorphism in Java: an e#cient implementation f.. (context) - Viroli - 2001
10 Unifying genericity: Combining the benefits of virtual types.. - Thorup, Torgersen - 1999
7 Sather language design and performance evaluation - Lim, Stolcke - 1991
7 Information and Computation (context) - Igarashi, Pierce et al. - 1999
4 A proposal for making Ei#el type-safe (context) - Cook - 1989
3 A recipe for raw types - Igarashi, Pierce et al. - 2001
1 Information available through httpmsdn (context) - The, Language et al. - 2001
1 A quasi optimal bit-vector encoding of tree hierarchies (context) - Raynaund, Thierry - 2001
1 The Strongtalk type system for Smalltalk (context) - Bracha - 1996
1 Adding generic types to the Java programming language (context) - Microsystems - 1998
1 Available through http:// www (context) - Engineering, Ei et al. - 2001
Documents on the same site (http://pag.lcs.mit.edu/reading-group/fall02.html): More
Finite-State Code Generation - Fraser, Proebsting (1999) (Correct)
Reconsidering Custom Memory Allocation - Berger, Zorn, McKinley (2002) (Correct)
Safe Runtime Downcasts with Ownership Types - Boyapati, Lee, Rinard (2002) (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