Inductive Families Need Not Store Their Indices
- 1 January 2004
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- The view from the leftJournal of Functional Programming, 2004
- A New Extraction for CoqPublished by Springer Nature ,2003
- Changing Data Structures in Type Theory: A Study of Natural NumbersPublished by Springer Nature ,2002
- Implementation Techniques for Inductive Types in PlasticPublished by Springer Nature ,2000
- A transformation-based optimiser for HaskellScience of Computer Programming, 1998
- Pruning simply typed -termsJournal of Logic and Computation, 1996
- Inductive familiesFormal Aspects of Computing, 1994
- Type checking with universesTheoretical Computer Science, 1991
- An inverse of the evaluation functional for typed lambda -calculusPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1991
- Compiling pattern matchingLecture Notes in Computer Science, 1985