Skip to main content

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.

Journal
Science of Computer Programming
Pages
37–65
Volume
37
Year
2000