Generic Programming within Dependently Typed Programming
- 1 January 2003
- book chapter
- other
- Published by Springer Science and Business Media LLC
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Generic Programming within Dependently Typed ProgrammingPublished by Springer Science and Business Media LLC ,2003
- Faking it Simulating dependent types in HaskellJournal of Functional Programming, 2002
- Regular expression types for XMLPublished by Association for Computing Machinery (ACM) ,2000
- The Zip CalculusLecture Notes in Computer Science, 2000
- From fast exponentiation to square matricesPublished by Association for Computing Machinery (ACM) ,1999
- Monadic Presentations of Lambda Terms Using Generalized Inductive TypesLecture Notes in Computer Science, 1999
- Functorial MLJournal of Functional Programming, 1998
- PolyP---a polytypic programming language extensionPublished by Association for Computing Machinery (ACM) ,1997
- Inductive sets and families in Martin-Löf's type theory and their set-theoretic semanticsPublished by Cambridge University Press (CUP) ,1991
- Views: a way for pattern matching to cohabit with data abstractionPublished by Association for Computing Machinery (ACM) ,1987