Higher Order Deforestation (1995)

Cached

Download Links

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

Documents Related by Co-Citation

403 Deforestation: Transforming programs to eliminate trees – Philip Wadler - 1990
574 A Transformation System for Developing Recursive Programs – R. M. Burstall, John Darlington - 1977
60 Safe fusion of functional expressions – Wei-Ngan Chin - 1992
72 Warm Fusion: Deriving Build-Catas from Recursive Definitions – John Launchbury, Tim Sheard - 1995
193 A Short Cut to Deforestation – Andrew Gill, John Launchbury, Simon L Peyton Jones - 1993
35 Safe fusion of functional expressions II: Further improvements – Wei-Ngan Chin - 1994
19 Deforestation for Higher-Order Functions – Simon Marlow, Philip Wadler
79 On perfect supercompilation – Jens Peter Secher, Morten Heine Sørensen - 1996
74 An Algorithm of Generalization in Positive Supercompilation – Morten H. Sørensen, Robert Glück - 1995
14 A grammar-based data-flow analysis to stop deforestation – M H S��rensen - 1994
10 Integer Constraints to Stop Deforestation – Helmut Seidl - 1996
21 When Will Deforestation Stop? – A. B. Ferguson, Philip Wadler - 1988
31 Proving the Correctness of Recursion-Based Automatic Program Transformations – David Sands - 1996
179 Lambda Lifting: Transforming Programs to Recursive Equations – Thomas Johnsson - 1985
299 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
113 A Fold for All Seasons – Tim Sheard , Leonidas Fegaras - 1993
91 Shortcut Deforestation in Calculational Form – Akihiko Takano, Erik Meijer - 1995
25 Improving Programs which Recurse over Multiple Inductive Structures – Leonidas Fegaras, Tim Sheard, Tong Zhou - 1994
168 The Concept of a Supercompiler – Valentin F. Turchin - 1986