Polytypic Downwards Accumulations (Proceedings of Mathematics of Program Construction, 1998)

(untitled) - Gibbons, J