14 search results - page 1 / 3 » Shortcut Fusion of Monadic Programs |
JUCS
2008
13 years 4 months ago
2008
: Functional programs often combine separate parts of the program using intermediate data structures for communicating results. Programs so defined are easier to understand and mai...
CC
2003
Springer
13 years 9 months ago
2003
Springer
We present a translation from the call-by-value λ-calculus to monadic normal forms that includes short-cut boolean evaluation. The translation is higher-order, operates in one pas...
HASKELL
2007
ACM
13 years 8 months ago
2007
ACM
ICFP
2005
ACM
14 years 4 months ago
2005
ACM
Monads are commonplace programming devices that are used to uniformly structure computations with effects such as state, exceptions, and I/O. This paper further develops the monad...
ICFP
2007
ACM
14 years 4 months ago
2007
ACM
This paper presents an automatic deforestation system, stream fusion, based on equational transformations, that fuses a wider range of functions than existing short-cut fusion sys...