Upwards and downwards accumulations on trees. In Bird et al (1992)

by Jeremy Gibbons
Venue:in the Proceedings of the Massey Functional Programming Workshop