Subtyping dependent types
Authors:
- D. AspinallDAD. Aspinall
- A. CompagnoniACA. Compagnoni
- 24 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableThis publication has 11 references indexed in Scilit:
- Simple type-theoretic foundations for object-oriented programmingJournal of Functional Programming, 2008
- Subtyping dependent types2002
- Subtyping with singleton types1995
- Bounded Quantification Is UndecidableInformation and Computation, 1994
- 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
- Typechecking dependent types and subtypes1988
- Structural subtyping and the notion of power type1988