Solving Optimisation Problems with Catamorphisms
Richard S. Bird and Oege de Moor
Book Title
Mathematics of Program Construction
Pages
45–66
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
669
Year
1993
Richard S. Bird and Oege de Moor