Deforestation for Higher-Order Functional Programs (1995)

Cached

Download Links

by Simon David Marlow
Citations:17 - 0 self

Documents Related by Co-Citation

193 A Short Cut to Deforestation – Andrew Gill, John Launchbury, Simon L Peyton Jones - 1993
403 Deforestation: Transforming programs to eliminate trees – Philip Wadler - 1990
64 Cheap Deforestation for Non-strict Functional Languages – Andrew John Gill, Andrew John Gill - 1996
56 Playing by the rules: rewriting as a practical optimisation technique in GHC – Simon Peyton Jones, Andrew Tolmach, Tony Hoare
107 Unboxed values as first class citizens in a non-strict functional language – Simon L Peyton Jones, John Launchbury - 1991
540 The Implementation of Functional Programming Languages – Peyton Jones, S L - 1987
283 Why functional programming matters – John Hughes - 1989
326 Theorems for free! – Philip Wadler - 1989
84 A transformation-based optimiser for Haskell – Simon L. Peyton Jones, André L M Santos - 1998
72 Warm Fusion: Deriving Build-Catas from Recursive Definitions – John Launchbury, Tim Sheard - 1995
74 An Algorithm of Generalization in Positive Supercompilation – Morten H. Sørensen, Robert Glück - 1995
43 Stream Fusion. From Lists to Streams to Nothing at All – Duncan Coutts, Roman Leshchinskiy, Don Stewart - 2007
187 Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine - Version 2.5 – Simon L Peyton Jones - 1992
168 The Concept of a Supercompiler – Valentin F. Turchin - 1986
574 A Transformation System for Developing Recursive Programs – R. M. Burstall, John Darlington - 1977
75 The nofib Benchmark Suite of Haskell Programs – Will Partain - 1993
299 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
179 Lambda Lifting: Transforming Programs to Recursive Equations – Thomas Johnsson - 1985
46 Deriving Structural Hylomorphisms From Recursive Definitions – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1996