Merging Monads and Folds for Functional Programming (1995)

by Erik Meijer, Johan Jeuring
Venue:In Advanced Functional Programming, LNCS 925