Typed operational semantics for higher order subtyping (1997)

by Adriana Compagnoni , Healfdene Goguen
Citations:13 - 4 self

Documents Related by Co-Citation

756 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
70 Subtyping Dependent Types – David Aspinall, Adriana Compagnoni - 2000
52 A typed operational semantics for type theory – H Goguen - 1994
47 Subtyping with Singleton Types – David Aspinall - 1995
488 A semantics of multiple inheritance – Luca Cardelli - 1988
520 Lambda Calculi with Types – Henk Barendregt, S. Abramsky, D. M. Gabbay, T. S. E. Maibaum, H. P. Barendregt - 1992
40 Decidability of Higher-Order Subtyping with Intersection Types – Adriana B. Compagnoni - 1994
895 A Theory of Objects – Luca Cardelli, Martín Abadi - 1996
51 Positive Subtyping – Martin Hofmann, Benjamin Pierce - 1994
11 Coercive subtyping for the calculus of constructions – G Chen - 2003
141 A Calculus for Overload Functions with Subtyping – G. Castagna, G. Ghelli, G. Longo - 1992
61 Coherence of subsumption, minimum typing and the type checking – P L Curien, G Ghelli - 1992
85 Pattern matching with dependent types – Thierry Coquand - 1992
43 Refinement Types for Logical Frameworks – Frank Pfenning - 1993
218 A filter lambda model and the completeness of type assignment – M Coppo - 1983
4 Order-Sorted Inductive Types – Gilles Barthe - 1999
48 Coercive subtyping – Zhaohui Luo - 1998
116 Inheritance As Implicit Coercion – Val Breazu-tannen, Thierry Coquand, Carl A. Gunter, Andre Scedrov - 1991
9 Decidable type equivalence with singleton kinds – C Stone, R Harper - 2000