Generic Downwards Accumulations (2000)

by Jeremy Gibbons
Venue:Science of Computer Programming