Philip Wadler. Deforestation: Transforming programs to eliminate trees. Theoretical Computer Science, 73:231--248, 1990. Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Fission for Program Comprehension - Jeremy Gibbons Oxford (Correct)
A Constraint-based Partial Evaluator for Functional - Logic Programs And (Correct)
A Constraint-based Partial Evaluator for Functional - Logic Programs And (Correct)
Design Patterns as Higher-Order Datatype-Generic Programs - Gibbons (2006) (Correct)
Streaming Representation-Changers - Gibbons (2004) (Correct)
Metamorphisms: Streaming Representation-Changers - Gibbons (2005) (Correct)
Unfold/fold Transformations Preserving Termination Properties - Amtoft (1992) (1 citation) (Correct)
Equational Semantics - Correnson (1999) (2 citations) (Correct)
Declarative Program Transformation: A Deforestation.. - Correnson, Duris.. (1999) (10 citations) (Correct)
Equational Semantics - Loic Correnson Etienne (1999) (2 citations) (Correct)
A Generic Framework for Genericity - Loic Correnson Etienne (Correct)
Call-by-Name Specialization of Functional Logic Programs - Alpuente, Falaschi.. (1996) (Correct)
Specialization of Lazy Functional Logic Programs - Alpuente, Falaschi, Julian.. (1997) (8 citations) (Correct)
Narrowing-driven Specialization of Functional Logic Programs - Alpuente, Falaschi, Vidal (1996) (Correct)
logspace and ptime Characterized by Programming - Languages Neil Jones (1999) (4 citations) (Correct)
A Calculus of Circular Proofs and its Categorical Semantics - Santocanale (2002) (2 citations) (Correct)
Call-by-Name Partial Evaluation of Functional Logic.. - Alpuente, Falaschi.. (1996) (Correct)
Precise and Expressive Mode Systems for Typed Logic Programming.. - Overton (2003) (Correct)
Efficient Compile-Time Garbage Collection for Arbitrary Data.. - Mohnen (1995) (9 citations) (Correct)
Functional Programming Concepts and Straight-line.. - Bruno, Heintz.. (2003) (Correct)
Streaming Representation-Changers - Gibbons (2004) (Correct)
Conditions for Efficiency Improvement by Tree Transducer.. - Voigtländer (2002) (Correct)
Streaming Algorithms (Extended Abstract) - Gibbons (Correct)
On the Time-Space Complexity of Geometric Elimination.. - Heintz, Matera, Waissbein (1999) (6 citations) (Correct)
Efficient Closure Utilisation by Higher-Order Inheritance Analysis - Mohnen (1995) (2 citations) (Correct)
First 50 documents Next 50
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