Playing by the rules: rewriting as a practical optimisation technique in GHC

by Simon Peyton Jones , Andrew Tolmach , Tony Hoare
Citations:46 - 6 self

Documents Related by Co-Citation

173 A Short Cut to Deforestation – Andrew Gill, John Launchbury, Simon L Peyton Jones - 1993
375 Deforestation: Transforming programs to eliminate trees – Philip Wadler - 1990
84 Shortcut Deforestation in Calculational Form – Akihiko Takano, Erik Meijer - 1995
38 Shortcut Fusion for Accumulating Parameters Zip-like Functions – Josef Svenningsson - 2002
14 Rewriting Haskell Strings – Duncan Coutts, Don Stewart, Roman Leshchinskiy - 2007
29 Stream Fusion. From Lists to Streams to Nothing at All – Duncan Coutts, Roman Leshchinskiy, Don Stewart - 2007
53 Cheap Deforestation for Non-strict Functional Languages – Andrew John Gill, Andrew John Gill - 1996
70 Warm Fusion: Deriving Build-Catas from Recursive Definitions – John Launchbury, Tim Sheard - 1995
106 Building Program Optimizers with Rewriting Strategies – Eelco Visser, Zine-el-Abidine, Andrew Tolmach - 1998
120 Stratego: A Language for Program Transformation based on Rewriting Strategies - System Description of Stratego 0.5 – Eelco Visser - 2001
27 More Types for Nested Data Parallel Programming – Manuel M. T. Chakravarty, Gabriele Keller - 2000
292 Theorems for free! – Philip Wadler - 1989
76 A transformation-based optimiser for Haskell – Simon L. Peyton Jones, André L.M. Santos - 1998
8 cut fusion: proved and improved – Short - 2001
17 Functional array fusion – Manuel M. T. Chakravarty, Gabriele Keller - 2001
24 Type Inference Builds a Short Cut to Deforestation – Olaf Chitil - 1999
23 Concatenate, Reverse and Map Vanish For Free – Janis Voigtländer - 2002
24 The TAMPR program transforming system: Simplifying the development of numerical software – J M Boyle, T J Harmer, V L Winter - 1997
78 Compiling Collection-Oriented Languages onto Massively Parallel Computers – Guy Blelloch, Gary W. Sabot - 1990