and Oege de Moor. Solving optimisation problems with catamorphism (1992)

by Richard S Bird
Venue:of Lecture Notes in Computer Science