APL
1995
ACM
13 years 8 months ago
1995
ACM
Iverson has greatly enlarged the mathematical notion of function composition and made it available to computer programmers. This paper explains the concept, and uses practical exa...
ESOP
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. During the last two decades, monads have become an indispensable tool for structuring functional programs with computational effects. In this setting, the mathematical n...