Merging Monads and Folds for Functional Programming (1995)

by E Meijer, J Jeuring
Venue:In Advanced Functional Programming, LNCS 925