Higher-order subtyping and its decidability

Higher-order subtyping and its decidability

Cached

Download Links

[www.cs.stevens.edu]

Other Repositories/Bibliography

DBLP

by Adriana Compagnoni

Venue:	Information and Computation
Citations:	1 - 0 self

BibTeX

@ARTICLE{Compagnoni_higher-ordersubtyping,
    author = {Adriana Compagnoni},
    title = {Higher-order subtyping and its decidability},
    journal = {Information and Computation},
    year = {},
    volume = {191},
    pages = {41--113}
}

Bookmark

OpenURL

Abstract

Citations

827	A Theory of Objects - Abadi, Cardelli - 1996
727	On understanding types, data abstraction, and polymorphism - Cardelli, Wegner - 1985
473	Lambda calculi with types - BARENDREGT - 1991
278	Lambda-calculus notation with nameless dummies: a tool for automatic formula manipulation with application to the Church-Rosser theorem - Bruijn - 1972
251	Interprétation fonctionelle et élimination des coupures de l’arithmétique d’ordre supérieur - Girard - 1972
237	Inheritance is not subtyping - Cook, Hill, et al. - 1990
188	Intensional interpretation of functionals of finite type i - Tait - 1967
156	Simple type-theoretic foundations for object-oriented programming - Pierce, Turner - 1994
135	Operations on Records - Cardelli, Mitchell
104	Design of the programming language Forsythe - Reynolds - 1996
103	Inheritance as implicit coercion - Breazu-Tannen, Coquand, et al. - 1991
87	Toward A Typed Foundation for Method Specialization and Inheritance - Mitchell - 1990
65	F-bounded quantification for object-oriented programming - Canning, Cook, et al. - 1989
64	Programming with Intersection Types and Bounded Polymorphism - Pierce - 1991
63	Some properties of conversion - Church, Rosser
61	Per models of subtyping, recursive types and higherorder polymorphism - Bruce, Mitchell - 1992
59	Dependent types - Aspinall, Hofmann - 2005
58	Coherence of subsumption, minimum typing and type-checking - Curien, Ghelli - 1992
50	Using Category Theory to Design Implicit Conversions and Generic Operators, Semantics-Directed Compiler Generation - Reynolds - 1980
46	A Typed Operational Semantics for Type Theory - Goguen - 1994
43	Two Extensions of Curry's Type Inference System - Cardone, Coppo
40	Decidability of higher-order subtyping with intersection types - Compagnoni - 1994
39	An extension of the basic functionality theory for the -calculus, Notre Dame J. of Formal Logic 21 - Coppo, Dezani-Ciancaglini - 1980
37	Proof Theoretic Studies about a Minimal Type System Integrating Inclusion and Parametric Polymorphism - Ghelli - 1990
36	Pure type systems formalized - McKinna, Pollack
30	On Theories with a Combinatorial Definition of "Equivalence - Newman - 1942
26	Decidable bounded quantification - Castagna, Pierce - 1994
25	The Church-Rosser property and a result in combinatory logic - Hindley - 1964
24	A semantics of multiple inheritance. Information and Computation, 76(2/3):138– 164, February/March - Cardelli - 1988
21	The Lambda Calculus. North-Holland, revised edition - Barendregt - 1984
19	Bounded existentials and minimal typing - Ghelli, Pierce - 1998
18	Types for data-oriented languages - Cardelli
17	A new type assignment for -terms - Coppo, Dezani-Ciancaglini - 1978
17	editors. Theoretical Aspects of ObjectOriented - Gunter, Mitchell - 1994
14	Intersection types and multiple inheritance - Compagnoni, Pierce - 1996
12	Subtyping in F ! is decidable - Compagnoni - 1994
12	Typed operational semantics for higher order subtyping - Compagnoni, Goguen - 1997
11	Coercive subtyping for the calculus of constructions - Chen - 2003
10	Higher-order subtyping. Theoretical Computer Science - Pierce, Steffen - 1997
8	Object-Oriented Concepts and Proof Rules: Formalization in Type Theory and Implementation in Yarrow - ZWANENBURG - 1998
6	Soundness of typed operational semantics for the logical framework - Goguen - 1999
5	Constructor subtyping in the calculus of inductive constructions - Barthe, Raamsdonk - 2000
5	Subject reduction and minimal types for higher order subtyping - Compagnoni - 1997
4	Order-sorted inductive types - Barthe - 1999
3	Combining type disciplines - Cardone, Dezani-Ciancaglini - 1994