Dependent Coercions
Open Access
- 31 December 1999
- journal article
- Published by Elsevier BV in Electronic Notes in Theoretical Computer Science
- Vol. 29, 152-168
- https://doi.org/10.1016/s1571-0661(05)80314-7
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Coercive subtypingJournal of Logic and Computation, 1999
- Mathematical Vernacular and Conceptual Well-Formedness in Mathematical LanguageLecture Notes in Computer Science, 1999
- Some algorithmic and proof-theoretical aspects of coercive subtypingPublished by Springer Science and Business Media LLC ,1998
- Typing algorithm in type theory with inheritancePublished by Association for Computing Machinery (ACM) ,1997
- Inductively defined typesLecture Notes in Computer Science, 1990
- On understanding types, data abstraction, and polymorphismACM Computing Surveys, 1985