Supero: Making Haskell faster (2007)

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

Documents Related by Co-Citation

4 An External Representation for the GHC Core Language. http: //www.haskell.org/ghc/docs/papers/core.ps.gz – Andrew Tolmach - 2001
193 A Short Cut to Deforestation – Andrew Gill, John Launchbury, Simon L Peyton Jones - 1993
173 Partial Evaluation of Computation Process - An Approach to a Compiler-Compiler – Yoshihiko Futamura - 1999
74 An Algorithm of Generalization in Positive Supercompilation – Morten H. Sørensen, Robert Glück - 1995
79 On perfect supercompilation – Jens Peter Secher, Morten Heine Sørensen - 1996
168 The Concept of a Supercompiler – Valentin F. Turchin - 1986
345 How to Make Ad-Hoc Polymorphism Less Ad Hoc – Philip Wadler, Stephen Blott - 1988
641 P.: Partial Evaluation and Automatic Program Generation – N D Jones, C K Gomard, Sestoft - 1993
403 Deforestation: Transforming programs to eliminate trees – Philip Wadler - 1990
43 The algorithm of generalization in the supercompiler – V F Turchin - 1988
540 The Implementation of Functional Programming Languages – Peyton Jones, S L - 1987
187 Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine - Version 2.5 – Simon L Peyton Jones - 1992
107 Unboxed values as first class citizens in a non-strict functional language – Simon L Peyton Jones, John Launchbury - 1991
54 Let-Floating: Moving Bindings to Give Faster Programs – Simon Peyton Jones, Will Partain, et al. - 1997
56 Playing by the rules: rewriting as a practical optimisation technique in GHC – Simon Peyton Jones, Andrew Tolmach, Tony Hoare
123 98 Language and Libraries: The Revised Report – Haskell - 2003
92 98 Language and Libraries: The Revised Report – Peyton Jones, S Haskell - 2003
5 Programming Guide & Reference Manual – V F Refal-5 Turchin - 1989
97 Tackling the awkward squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell – Simon Peyton Jones - 2001
28 Homeomorphic embedding for online termination of symbolic methods – Michael Leuschel - 2002