Implementation Techniques for Inductive Types in Plastic
- 1 January 2000
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Coercive subtypingJournal of Logic and Computation, 1999
- Some algorithmic and proof-theoretical aspects of coercive subtypingPublished by Springer Nature ,1998
- Types for Proofs and ProgramsPublished by Springer Nature ,1998
- Typed operational semanticsPublished by Springer Nature ,1995
- Inductive sets and families in Martin-Löf's type theory and their set-theoretic semanticsPublished by Cambridge University Press (CUP) ,1991