Rewriting Haskell Strings (2007)

Cached

Download Links

by Duncan Coutts , Don Stewart , Roman Leshchinskiy
Venue:In Practical Aspects of Declarative Languages 8th International Symposium, PADL 2007
Citations:14 - 6 self

Active Bibliography

43 Stream Fusion. From Lists to Streams to Nothing at All – Duncan Coutts, Roman Leshchinskiy, Don Stewart - 2007
5 Strategies for Fusing Logic and Control via Local, Application-Specific Transformations – Patricia Johann, Patricia Johann, Patricia Johann, Eelco Visser, Eelco Visser, Eelco Visser - 2003
Exploiting Vector Instructions with Generalized Stream Fusion Geoffrey Mainland – Cambridge England, Roman Leshchinskiy, Simon Peyton Jones
In submission. Please do not redistribute. Revised April 19, 2013. Haskell Beats C Using Generalized Stream Fusion Geoffrey Mainland – Cambridge England, Roman Leshchinskiy, Simon Peyton Jones
13 The Impact of seq on Free Theorems-Based Program Transformations – Patricia Johann, Janis Voigtländer - 2006
15 Monadic augment and generalised short cut fusion – Neil Ghani, Patricia Johann - 2005
In submission. Please do not redistribute. Haskell Beats C Using Generalized Stream Fusion Geoffrey Mainland – Cambridge England, Roman Leshchinskiy, Simon Peyton Jones, Simon Marlow
78 Data Parallel Haskell: a status report – Manuel M. T. Chakravarty, Roman Leshchinskiy, Simon Peyton Jones, Gabriele Keller, Simon Marlow - 2007
Exploiting algebra/coalgebra duality for program fusion extensions – Facundo Domínguez, Alberto Pardo - 2011
Explicit Binds: Effortless Efficiency with and without Trees – Tarmo Uustalu
20 Composition of functions with accumulating parameters – Janis Voigtländer, Armin Kühnemann - 2004
The Under-Performing Unfold A new approach to optimising corecursive programs – Jennifer Hackett, Graham Hutton, Mauro Jaskelioff
3 Using Monads to Fuse Recursive Programs (Extended Abstract) – Claus Jürgensen - 2002
14 Using Circular Programs to Deforest in Accumulating Parameters – Janis Voigtländer - 2002
6 Proving correctness via free theorems: The case of the destroy/build-rule – Janis Voigtländer - 2008
42 Shortcut Fusion for Accumulating Parameters Zip-like Functions – Josef Svenningsson - 2002
1 Calculation Rules for Warming-up in Fusion Transformation – Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi
2 Towards a Modular Program Derivation via Fusion and Tupling – Wei-Ngan Chin, Zhenjiang Hu - 2002
1 A List-Processing Optimizer for Curry – Elvira Albert, César Ferri, Germán Vidal, Frank Steiner - 2000