Polytypic Downwards Accumulations (1998)
Cached
Download Links
- [web.comlab.ox.ac.uk]
- [web.comlab.ox.ac.uk]
- DBLP
Other Repositories/Bibliography
by
Jeremy Gibbons
,
Gipsy Lane Headington
| Citations: | 17 - 2 self |
BibTeX
@MISC{Gibbons98polytypicdownwards,
author = {Jeremy Gibbons and Gipsy Lane Headington},
title = {Polytypic Downwards Accumulations},
year = {1998}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
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.
