Higher Order Deforestation (1995)

Cached

Download Links

by G.W. Hamilton , St Bg
Citations:17 - 2 self

Active Bibliography

32 Compilation by Transformation in Non-Strict Functional Languages – André L. de M. Santos - 1995
12 Constraints to Stop Higher-Order Deforestation – H. Seidl, M.H. Sørensen - 1997
10 Integer Constraints to Stop Deforestation – Helmut Seidl - 1996
31 Proving the Correctness of Recursion-Based Automatic Program Transformations – David Sands - 1996
12 A Constraint-based Partial Evaluator for Functional Logic Programs and its Application – Laura Lafave - 1998
17 Deforestation for Higher-Order Functional Programs – Simon David Marlow - 1995
3 Extending First Order Deforestation – G.W. Hamilton, St Bg - 1995
403 Deforestation: Transforming programs to eliminate trees – Philip Wadler - 1990
76 Rules and Strategies for Transforming Functional and Logic Programs – A. Pettorossi, M. Proietti, R. Dicembre - 1996
21 When Will Deforestation Stop? – A. B. Ferguson, Philip Wadler - 1988
A Comparison of Program Transformation Systems – Michael Dever, G. W. Hamilton
Synchronization analyses for . . . – Wei-ngan Chin, Siau-cheng Khoo, Peter Thiemann
14 Positive Supercompilation for a higher order call-by-value language – Peter A. Jonsson, Johan Nordl - 2007
7 An Effective Speculative Evaluation Technique for Parallel Supercombinator Graph Reduction – James S. Mattson, Jr. - 1993
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
79 On perfect supercompilation – Jens Peter Secher, Morten Heine Sørensen - 1996
59 For a Better Support of Static Data Flow – Charles Consel, Olivier Danvy
Flexible Continuations in Logic Programs via Unfold/Fold Transformations and Goal Generalization – Alberto Pettorossi Department, Alberto Pettorossi, Maurizio Proietti - 1997