Soundness of Coercion in the Calculus of Constructions

Soundness of Coercion in the Calculus of Constructions

Cached

Download Links

[www.church-project.org]

by Gang Chen

Citations:

2 - 0 self

BibTeX

@MISC{Chen_soundnessof,
    author = {Gang Chen},
    title = {Soundness of Coercion in the Calculus of Constructions},
    year = {}
}

Bookmark

OpenURL

Abstract

Citations

727	On understanding types, data abstraction, and polymorphism - Cardelli, Wegner - 1985
104	Inheritance as implicit coercion - Breazu-Tannen, Coquand, et al. - 1991
96	Polymorphic type inference and containment - MITCHELL - 1988
85	A modest model of records, inheritance and bounded quantification - Bruce, Longo - 1990
73	Logics and Type Systems - Geuvers - 1993
59	Dependent types - Aspinall, Hofmann - 2005
59	Coherence of subsumption, minimum typing and type checking - Curien, Ghelli - 1992
51	Higher-order subtyping - Pierce, Steffen - 1997
50	Object-Oriented Programming: A Unified Foundation - CASTAGNA - 1997
41	Coercive subtyping - Luo - 1999
35	Typing algorithm in type theory with inheritance - Saïbi - 1997
28	Typechecking dependent types and subtypes - Cardelli - 1988
24	The church-rosser property for fij-reduction in typed - calculi - Geuvers - 1992
22	Coercive subtyping in type theory - Luo - 1997
13	Implicit coercions in type systems - Barthe - 1996
12	Subtyping in F ! is decidable - Compagnoni - 1994
10	Coercion completion and conservativity in coercive subtyping - Soloviev, Luo - 2002
9	Lego with implicit coercions - Bailey - 1996
8	Coherence and transitivity of subtyping as entailment - Longo, Milsted, et al. - 2000
6	Some Algorithmic and Proof-Theoretical Aspects of Coercive Subtyping - Soloviev, Jones, et al. - 1996
6	A Logic of Subtyping, extended abstract - Longo, Milsted, et al. - 1995
5	Strong normalization with nonstructural subtyping - Wand, O'Keefe, et al. - 1995
2	type conversions and elimination of transitivity - Subtyping - 1998
2	Coherence and transitivity of subtyping in coercive subtyping - Luo, Luo - 2001
1	Coercive subtyping for the calculus of construction (extended abstract - Chen - 2003
1	Supplementary notes on subtyping, 2002. Foundations of Programming Languages, course notes - Pfenning