A tutorial on the universality and expressiveness of fold. Journal of functional programming (1999)

by Graham Hutton