Generic 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 regular datatype; the resulting definition is co-inductive.
Details
| Journal |
Science of Computer Programming |
| Pages |
37–65 |
| Volume |
37 |
| Year |
2000 |
Links
Related pages
|
People |
|
|
Activities |