Disciplined‚ efficient‚ generalised folds for nested datatypes
Nested (or non-uniform, or non-regular) datatypes have recursive definitions in which the type parameter changes. Their folds are restricted in power due to type constraints. Bird and Paterson introduced <em>generalised folds</em> for extra power, but at the cost of a loss of efficiency:...
| Main Authors: | , , |
|---|---|
| Format: | Journal article |
| Published: |
2004
|