Abstract

Abstract. A relation between recursive object types, called matching, has been proposed as a generalization of subtyping. Unlike subtyping, matching does not support subsumption, but it does support inheritance of binary methods. We argue that matching is a good idea, but that it should not be regarded as a form of F-bounded subtyping (as was originally intended). We show that a new interpretation of matching as higher-order subtyping has better properties. Matching turns out to be a third-order construction, possibly the only one to have been proposed for general use in programming.

Citations

827	A Theory of Objects - Abadi, Cardelli - 1996
472	A semantics of multiple inheritance - Cardelli - 1988
289	Subtyping recursive types - Amadio, Cardelli - 1993
237	Inheritance is not subtyping - Cook, Hill, et al. - 1990
147	Systems Programming with Modula-3 - Nelson, editor - 1991
135	Gent.2003. A Type-Safe Polymorphic object oriented language - Bruce, Schuett, et al.
135	Operations on Records - Cardelli, Mitchell
122	F-bounded polymorphism for object-oriented programming - Canning, Cook, et al. - 1989
110	A Paradigmatic Object–Oriented Programming Language: Design, Static Typing and Semantics - Bruce - 1994
107	An extension of System F with subtyping - Cardelli, Martini, et al. - 1994
87	Toward A Typed Foundation for Method Specialization and Inheritance - Mitchell - 1990
84	A modest model of records, inheritance, and bounded quantification - Bruce, Longo - 1990
75	Subtypes vs. where clauses: constraining parametric polymorphism - Day, Gruber, et al. - 1995
74	A theory of primitive objects – untyped and first-order systems - Abadi, Cardelli - 1994
63	A semantic basis for Quest - Cardelli, Longo - 1991
61	Per models of subtyping, recursive types and higherorder polymorphism - Bruce, Mitchell - 1992
58	A per model of polymorphism and recursive types - Abadi, Plotkin - 1990
58	Coherence of subsumption, minimum typing and type-checking - Curien, Ghelli - 1992
55	A record calculus based on symmetric concatenation - Harper, Pierce - 1991
53	A theory of primitive objects: Second-order systems - Abadi, Cardelli - 1994
48	Type theories and objectoriented programming - Danforth, Tomlinson - 1988
44	Recursion over realizability structures - Amadio - 1991
42	editors, Theoretical Aspects of ObjectOriented Programming: Types, Semantics, and Language Design - Gunter, Mitchell - 1994
40	Decidability of higher-order subtyping with intersection types - Compagnoni - 1994
37	Baby Modula-3 and a theory of objects - Abadi - 1994
37	A Unifying Type-Theoretic Framework for Objects - Hofmann, Pierce - 1994
33	A semantics of object types - Abadi, Cardelli - 1994
32	Relational semantics for recursive types and bounded quantification. Lecture - Cardone
28	Polarized Higher-Order Subtyping - Steffen - 1998
19	An interpretation of typed oop in a language with state - Eifrig, Smith, et al. - 1995
11	Polymorphism and Subtyping in Interfaces - Katiya, Luckham, et al. - 1994
9	Interpr#tation fonctionelle et #limination des coupures de l'arithm#- tique d'ordre sup#rieur - Girard - 1972
5	A Theory of Primitive Objects: Untyped and First-Order Systems - Abadi, Cardelli - 1994
5	A Theory of Objects Springer-Verlag - Abadi, Cardelli - 1996
3	An imperative object calculus. TAPSOFT’95: Theory and Practice - Abadi, Cardelli - 1995
1	product evaluation – Quality characteristics and guidelines for their use - unknown authors - 1995
1	Standard – Quality management and quality assurance standards – Part 3: Guidelines for the application of ISO 9001 to the development, supply and maintenance of software - unknown authors - 1972
1	Standard – Quality systems – Model for quality assurance in final inspection and test - unknown authors - 1996
1	An ideal model for recursive poly24 - MacQueen, Plotkin, et al. - 1996