Merging Monads and Folds for Functional Programming (1995)

by E Meijer, J Jeuring
Venue:Advanced Functional Programming, LNCS 925; 228–266