Initial Algebra Semantics Is Enough!
Authors:
- 1 January 2007
- book chapter
- Published by Springer Nature
- p. 207-222
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- Monadic augment and generalised short cut fusion2005
- Iteration and coiteration schemes for higher-order and nested datatypesTheoretical Computer Science, 2005
- Abstract syntax and variable binding2003
- Manufacturing datatypesJournal of Functional Programming, 2001
- Perfect trees and bit-reversal permutationsJournal of Functional Programming, 2000
- Generalised folds for nested datatypesFormal Aspects of Computing, 1999
- Monadic Presentations of Lambda Terms Using Generalized Inductive Types1999
- de Bruijn notation as a nested datatypeJournal of Functional Programming, 1999
- Nested datatypes1998
- A short cut to deforestation1993