Sciweavers

Share
14 search results - page 1 / 3
» Shortcut Fusion of Monadic Programs
Sort
View
JUCS
2008
165views more  JUCS 2008»
10 years 1 months ago
Shortcut Fusion of Monadic Programs
: 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...
Cecilia Manzino, Alberto Pardo
CC
2003
Springer
141views System Software» more  CC 2003»
10 years 6 months ago
A New One-Pass Transformation into Monadic Normal Form
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...
Olivier Danvy
HASKELL
2007
ACM
10 years 5 months ago
A shortcut fusion rule for circular program calculation
João Paulo Fernandes, Alberto Pardo, Jo&ati...
ICFP
2005
ACM
11 years 1 months ago
Monadic augment and generalised short cut fusion
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...
Neil Ghani, Patricia Johann, Tarmo Uustalu, Varmo ...
ICFP
2007
ACM
11 years 1 months ago
Stream fusion: from lists to streams to nothing at all
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...
Duncan Coutts, Roman Leshchinskiy, Don Stewart
books