Higher Order Deforestation (1995)

Cached

Download Links

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

Documents Related by Co-Citation

399 Deforestation: Transforming programs to eliminate trees – Philip Wadler - 1990
569 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
78 On perfect supercompilation – Jens Peter Secher, Morten Heine Sørensen - 1996
73 An Algorithm of Generalization in Positive Supercompilation – Morten H. Sørensen, Robert Glück - 1995
14 A grammar-based dataflow analysis to stop deforestation – Morten Heine 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
298 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
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
5 Deforestation for Higher-Order Functional Languages – S D Marlow - 1996
62 Cheap Deforestation for Non-strict Functional Languages – Andrew John Gill, Andrew John Gill - 1996