Sciweavers

AFP
1995
Springer
128views Formal Methods» more  AFP 1995»
14 years 2 months ago
Monads for Functional Programming
Abstract. The use of monads to structure functional programs is described. Monads provide a convenient framework for simulating effects found in other languages, such as global st...
Philip Wadler
AFP
1995
Springer
125views Formal Methods» more  AFP 1995»
14 years 2 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
AFP
1995
Springer
126views Formal Methods» more  AFP 1995»
14 years 2 months ago
Functional Programming with Overloading and Higher-Order Polymorphism
The Hindley/Milner type system has been widely adopted as a basis for statically typed functional languages. One of the main reasons for this is that it provides an elegant comprom...
Mark P. Jones