Subtyping for Object Type Constructors

@inproceedings{Duggan1999SubtypingFO,
  title={Subtyping for Object Type Constructors},
  author={Dominic Duggan and Adriana B. Compagnoni},
  year={1999}
}
Object type constructors have been introduced as an approach to adding container object types to a language with type inference. Useful subtyping for object type constructors requires a flexible subtype rule for type construc tors that is not simply the pointwise extension of subtyping for types. At the same time, subtyping should avoid requiring run-time type checks, as in the Java subtype rule for arrays. An extension of object type constructors is considered to allow this subtyping… CONTINUE READING
Highly Cited
This paper has 23 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.

References

Publications referenced by this paper.
Showing 1-8 of 8 references

A Theory of Objects

Monographs in Computer Science • 1996
View 8 Excerpts
Highly Influenced

Interprétation Fonctionelle et Elimination des Coupures dans l’Arithmétique d’Ordre Supérieur

J.-Y. Girard
PhD thesis, Thèse de Doctorat d’ État, Paris, • 1972
View 3 Excerpts
Highly Influenced

Object type constructors. Submitted fo r publication. A preliminary version appeared in the Workshop on Foundations of Object-Oriented Languages

Dominic Duggan
1996
View 10 Excerpts

Subtyping With Intersection Types

Adriana Compagnoni.Higher-Order
PhD thesis, • 1995

Notes about Fω<

Luca Cardelli
Unpublished manuscript, • 1990
View 1 Excerpt

Similar Papers

Loading similar papers…