A tutorial on the universality and expressiveness of fold (1999)

by G Hutton
Venue:Journal of Functional Programming