Bananas in space: extending fold and unfold to exponential types
Fold and unfold are general purpose functionals for process-ing and constructing lists. By using the categorical approach of modelling recursive datatypes as fixed points of functors, these functionals and their algebraic properties were generalised from lists to polynomial (sum-of-product) datatype...
| Main Authors: | , |
|---|---|
| Format: | Conference or Workshop Item |
| Language: | English |
| Published: |
ACM Press, La Jolla, California
1995
|
| Online Access: | http://eprints.nottingham.ac.uk/28198/ http://eprints.nottingham.ac.uk/28198/ http://eprints.nottingham.ac.uk/28198/1/bananas.pdf |