121
click to vote
AFP
15 years 4 months ago
1995 Springer 
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...
101
click to vote
AFP
15 years 4 months ago
1995 Springer 
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...
AFP
15 years 4 months ago
1995 Springer
Abstract. These notes discuss the simultaneous use of generalised fold operators and monads to structure functional programs. Generalised fold operators structure programs after th...
|
Formal Methods