School of Computing and Mathematical Sciences,; Oxford Brookes University,
SVM HeaderParse 0.2
Gipsy Lane, Headington,; Oxford OX3 0BP, UK.
SVM HeaderParse 0.1
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 denition is co-inductive. 1