Sciweavers

AFP
1995
Springer
125views Formal Methods» more  AFP 1995»
14 years 4 months ago
Merging Monads and Folds for Functional Programming
Abstract. These notes discuss the simultaneous use of generalised fold operators and monads to structure functional programs. Generalised fold operators structure programs after th...
Erik Meijer, Johan Jeuring