147
click to vote
AFP
15 years 5 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...
119
click to vote
AFP
15 years 5 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...
113
click to vote
AFP
15 years 5 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