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)
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)
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
[Article contains additional citations not shown here]
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