Subtyping dependent types
Authors:
- 6 September 2001
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 266 (1-2) , 273-309
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Subtyping dependent types2002
- Coercive subtypingJournal of Logic and Computation, 1999
- Decidability of higher-order subtyping with intersection typesLecture Notes in Computer Science, 1995
- Subtyping with singleton types1995
- A framework for defining logicsJournal of the ACM, 1993
- Using typed lambda calculus to implement formal systems on a machineJournal of Automated Reasoning, 1992
- Coherence of subsumption, minimum typing and type-checking in F ≤Mathematical Structures in Computer Science, 1992
- Inheritance as implicit coercionInformation and Computation, 1991
- The calculus of constructionsInformation and Computation, 1988
- Structural subtyping and the notion of power type1988