Generic Programming within Dependently Typed Programming
Authors:
- 1 January 2003
- book chapter
- Published by Springer Nature
- p. 1-20
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Generic Programming within Dependently Typed Programming2003
- Faking it Simulating dependent types in HaskellJournal of Functional Programming, 2002
- Regular expression types for XML2000
- The Zip Calculus2000
- From fast exponentiation to square matrices1999
- Monadic Presentations of Lambda Terms Using Generalized Inductive Types1999
- Functorial MLJournal of Functional Programming, 1998
- PolyP---a polytypic programming language extension1997
- Inductive sets and families in Martin-Löf's type theory and their set-theoretic semantics1991
- Views: a way for pattern matching to cohabit with data abstraction1987