A.B. Ferguson and P. Wadler. When will deforestation stop? In Glasgow Workshop on Functional Programming, pages 39--56, 1988. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Comparison of Deforestation Techniques for Functional Programs.. - Kühnemann (Correct)
Optimizing Algebraic Programs - Sheard, Fegaras (1994) (2 citations) (Correct)
A Constraint-based Partial Evaluator for Functional Logic.. - Lafave (1998) (6 citations) (Correct)
Warm Fusion for the Masses: Detailing Virtual Data.. - Johann, Launchbury (1998) (Correct)
Deforestation for Higher-Order Functional Programs - Marlow (1995) (11 citations) (Correct)
Warm Fusion for the Masses: Detailing Virtual Data.. - Johann, Launchbury (1997) (Correct)
A New Means of Ensuring Termination of Deforestation With an.. - Sørensen (1993) (2 citations) (Correct)
Constraints to Stop Higher-Order Deforestation - Seidl, Sørensen (1997) (10 citations) (Correct)
Proving the Correctness of Recursion-Based Automatic Program.. - Sands (1996) (22 citations) (Correct)
Why Automatic Transformation Matters - Ogi (Correct)
A Fold for All Seasons - Sheard, Fegaras (1993) (107 citations) (Correct)
A Grammar-based Data-flow Analysis to Stop Deforestation - Sørensen (1994) (6 citations) (Correct)
The lambda Delta -calculus - Rehof, Sørensen (1993) (Correct)
Improving Programs which Recurse over Multiple Inductive.. - Fegaras, Sheard, Zhou (1994) (32 citations) (Correct)
Extending First Order Deforestation - Hamilton (1995) (4 citations) (Correct)
A Roadmap to Metacomputation by Supercompilation - Glück, Sørensen (1996) (4 citations) (Correct)
A Positive Supercompiler - Sørensen, Glück, Jones (1993) (3 citations) (Correct)
A New Means of Ensuring Termination of Deforestation - Sørensen (1993) (Correct)
Constraints to Stop Deforestation - Seidl, Sørensen (1998) (8 citations) (Correct)
Optimizing Algebraic Programs - Sheard, Fegaras (1994) (2 citations) (Correct)
Optimizing Algebraic Programs - Sheard, Fegaras (1994) (2 citations) (Correct)
Improving Programs which Recurse over Multiple Inductive Structures - Fegaras (1994) (32 citations) (Correct)
Constraints to Stop Higher-Order Deforestation - Seidl, Sørensen (1997) (10 citations) (Correct)
A Constraint-based Partial Evaluator for Functional - Logic Programs And (Correct)
Fusion in Practice - Diederik Van Arkel (2002) (1 citation) (Correct)
Fusion in Practice - Diederik Van Arkel (2003) (1 citation) (Correct)
Optimising the Memory Management of Higher-Order Functional.. - Mohnen (1997) (2 citations) (Correct)
Comparison of Deforestation Techniques for Functional Programs.. - Kühnemann (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC