Generic Programming with Dependent Types
- 1 January 2007
- conference paper
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableThis publication has 22 references indexed in Scilit:
- Containers: Constructing strictly positive typesTheoretical Computer Science, 2005
- Representing Nested Inductive Types Using W-TypesLecture Notes in Computer Science, 2004
- Constructing Polymorphic Programs with Quotient TypesLecture Notes in Computer Science, 2004
- Normalization by Evaluation for λ →2Lecture Notes in Computer Science, 2004
- Derivatives of ContainersLecture Notes in Computer Science, 2003
- Categories of ContainersLecture Notes in Computer Science, 2003
- Intensional polymorphism in type-erasure semanticsJournal of Functional Programming, 2002
- A Finite Axiomatization of Inductive-Recursive DefinitionsLecture Notes in Computer Science, 1999
- Generic ProgrammingLecture Notes in Computer Science, 1999
- Inductive sets and families in Martin-Löf's type theory and their set-theoretic semanticsPublished by Cambridge University Press (CUP) ,1991