A. Igarashi and M. Viroli. On variance-based subtyping for parametric types. In ECOOP, pages 441--469, June 2002. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Towards Unifying Inheritance and Automatic Program Specialization - Schultz (Correct)
.... type Color (or any subclass) Covariant specialization is normally associated with either lack of static typing or lack of subclass substitutability [31] but 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 parameters (including the this) from types to partially known values. Partial evaluation can also specialize for abstract properties such as types [9] In this case, ....
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.
Converting Java Programs to Use Generic Libraries - Alan Donovan Adam (2004) (2 citations) (Correct)
No context found.
A. Igarashi and M. Viroli. On variance-based subtyping for parametric types. In ECOOP, pages 441--469, June 2002.
A First-Class Approach to Genericity - Allen (2003) (5 citations) (Correct)
No context found.
A. Igarashi, M. Viroli. On Variance-Based Subtyping for Parametric Types. In ECOOP 2002.
Automatic Discovery of Covariant Read-Only Fields - Palsberg, Zhao, Jim (2002) (1 citation) (Correct)
No context found.
Atsushi Igarashi and Mirko Viroli. On variance-based subtyping for parametric types. In Proceedings of ECOOP'02, 16th European Conference on Object-Oriented Programming, 2002.
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