Polytypic Downwards Accumulations
Jeremy Gibbons
Abstract
A downwards accumulation is a higher-order operation that distributes information downwards through a data structure, from the root towards the leaves. The concept was originally introduced in an ad hoc way for just a couple of kinds of tree. We generalize the concept to an arbitrary polynomial datatype; our generalization proceeds via the notion of a path in such a datatype.
Details
| Address |
Marstrand‚ Sweden |
| Book Title |
Proceedings of Mathematics of Program Construction |
| Editor |
Johan Jeuring |
| Month |
jun |
| Pages |
207−233 |
| Publisher |
Springer−Verlag |
| Series |
Lecture Notes in Computer Science |
| Volume |
1422 |
| Year |
1998 |
Links
Related pages
|
People |
|
|
Activities |