Generic Accumulations

摘要

Accumulations are recursive functions that keep intermediate results in additional parameters which are eventually used in later stages of the computation. We present a generic definition of accumulations obtained by the introduction of a new recursive operator on inductive types. We also show that the notion of downwards accumulation developed by Gibbons is subsumed by our notion of accumulation.