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.
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