Subtyping Dependent Types (2000)

by David Aspinall , Adriana Compagnoni
Citations:70 - 6 self

Active Bibliography

4 Order-Sorted Inductive Types – Gilles Barthe - 1999
6 Subject reduction and minimal types for higher order subtyping – Adriana Compagnoni - 1997
Dependent Type System with Subtyping -- Type Level Transitivity Elimination – Gang Chen - 1996
Information and Computation 168(1):1-67, (2001) Dependent types with subtyping – Gang Chen - 1998
1 Types, Subtypes, and ASL+ – David Aspinall - 1995
A Calculus of Coercive Subtyping by – Fi Mu, Matej Kollár, Libor Škarvada, Faculty Of Informatics, Matej Kollár, Libor Škarvada - 2009
37 Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1996
1 Higher-order subtyping and its decidability – Adriana Compagnoni
Pure Type Systems with Subtyping (Extended Abstract) – Jan Zwanenburg
Subtyping Parametric and Dependent Types -- An introduction – Gang Chen, Giuseppe Longo - 1996
1 Subtyping Parametric and Dependent Types – Gang Chen, Giuseppe Longo - 1996
48 Coercive subtyping – Zhaohui Luo - 1998
22 Type-Theoretic Methodology For Practical Programming Languages – Karl Fredrick Crary - 1998
11 B.C.: On decidability of nominal subtyping with variance – Andrew J. Kennedy, Benjamin C. Pierce, Andrew J. Kennedy, Benjamin C. Pierce
7 Type Destructors – Martin Hofmann, Benjamin C. Pierce - 1998
4 Anti-Symmetry of Higher-Order Subtyping – Adriana Compagnoni, Healfdene Goguen - 1999
2 Soundness of Coercion in the Calculus of Constructions – Gang Chen
3 Coercive Subtyping for the Calculus of Constructions (extended abstract) – Gang Chen
4 Manifest fields and module mechanisms in intensional type theory – Zhaohui Luo - 2009