Upwards and Downwards Accumulations on Trees

Jeremy Gibbons. Upwards and Downwards Accumulations on Trees. In Richard S. Bird, Carroll Morgan, Jim Woodcock, editors, Mathematics of Program Construction, Second International Conference, Oxford, U.K., June 29 - July 3, 1992, Proceedings. Volume 669 of Lecture Notes in Computer Science, pages 122-138, Springer, 1992.

Abstract

Abstract is missing.