Supero: Making Haskell faster (2007)

by Neil Mitchell , Colin Runciman
Venue:In Proc. IFL 2007
Citations:1 - 1 self

Active Bibliography

20 A Supercompiler for Core Haskell – Neil Mitchell, Colin Runciman
11 Rethinking Supercompilation – Neil Mitchell - 2010
Losing Functions without Gaining Data – another look at defunctionalisation – Neil Mitchell, Colin Runciman
In submission. Please do not redistribute. Haskell Beats C Using Generalized Stream Fusion Geoffrey Mainland – Cambridge England, Roman Leshchinskiy, Simon Peyton Jones, Simon Marlow
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
8 Optimizing data structures in high-level programs: New directions for extensible compilers based on staging – Tiark Rompf, Arvind K. Sujeeth, Nada Amin, Kevin J. Brown, Vojin Jovanovic, Hyoukjoong Lee, Manohar Jonnalagedda, Kunle Olukotun, Martin Odersky - 2013
32 Compilation by Transformation in Non-Strict Functional Languages – André L. de M. Santos - 1995
43 Stream Fusion. From Lists to Streams to Nothing at All – Duncan Coutts, Roman Leshchinskiy, Don Stewart - 2007
1 Mesa Language – Neil Mitchell - 1979
Data Flow Fusion with Series Expressions in Haskell – Manuel M. T. Chakravarty, Gabriele Keller, Amos Robinson
6 Proving correctness via free theorems: The case of the destroy/build-rule – Janis Voigtländer - 2008
12 Supercompilation by evaluation – Max Bolingbroke, Simon Peyton Jones - 2010
77 Data Parallel Haskell: a status report – Manuel M. T. Chakravarty, Roman Leshchinskiy, Simon Peyton Jones, Gabriele Keller, Simon Marlow - 2007
15 The Worker/Wrapper Transformation – Andy Gill, Graham Hutton - 2009
The Under-Performing Unfold A new approach to optimising corecursive programs – Jennifer Hackett, Graham Hutton, Mauro Jaskelioff
1 Warm Fusion for the Masses: Detailing Virtual Data Structure Elimination in Fully Recursive Languages – Patricia Johann, John Launchbury - 1997
18 A Foundation for Space-Safe Transformations of Call-by-Need Programs – Jörgen Gustavsson , David Sands - 1999
31 Proving the Correctness of Recursion-Based Automatic Program Transformations – David Sands - 1996