Efficient Compilation of Functional Languages by Program Transformation (1997)

Cached

Download Links

by André Santos

Active Bibliography

32 Compilation by Transformation in Non-Strict Functional Languages – André L. de M. Santos - 1995
17 Deforestation for Higher-Order Functional Programs – Simon David Marlow - 1995
55 Compiling Haskell by program transformation: a report from the trenches – Simon L. Peyton Jones - 1996
84 A transformation-based optimiser for Haskell – Simon L. Peyton Jones, André L M Santos - 1998
54 Let-Floating: Moving Bindings to Give Faster Programs – Simon Peyton Jones, Will Partain, et al. - 1997
187 Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine - Version 2.5 – Simon L Peyton Jones - 1992
39 Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure – Olivier Danvy, Ulrik P. Schultz - 2001
107 Unboxed values as first class citizens in a non-strict functional language – Simon L Peyton Jones, John Launchbury - 1991
Lambda-dropping: transforming recursive equations – Olivier Danvy A, Ulrik P. Schultz B
47 Secrets of the Glasgow Haskell Compiler inliner – Simon Peyton Jones, Simon Marlow - 1999
5 Implicit and Explicit Aspects of Scope and Block Structure – Ulrik Pagh Schultz
On Program Transformation in the Glasgow Haskell Compiler – André Santos, Simon L. Peyton Jones - 1993
On Program Transformation in the Glasgow Haskell Compiler – Andr'e Santos Simon, Simon L Peyton Jones
1 Cps-Translation and the Correctness of Optimising Compilers – Geoffrey Burn, Daniel Le Métayer - 1992
4 Proving the Correctness of Compiler Optimisations Based on Strictness Analysis – Geoffrey Burn, Daniel Le Métayer - 1993
15 Proving the Correctness of Compiler Optimisations Based on a Global Analysis: A Study of Strictness Analysis – Geoffrey Burn, Daniel Le M'etayer - 1992
3 A Visual Programming Environment for Functional Languages – Joel Kelso - 2002
5 The Brisk Machine: A Simplified STG Machine – Ian Holyer, Eleni Spiliopoulou - 1997
2 Two Non-Determinism Analyses in Eden – Ricardo Peña, Clara Segura - 2000