A Tutorial on the Universality and Expressiveness of Fold (1993)

by Graham Hutton
Venue:Journal of Functional Programming