Philip Wadler. Deforestation: Transforming programs to eliminate trees. Theoretical Computer Science, 73:231--248, 1990. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Fission for Program Comprehension - Jeremy Gibbons Oxford (Correct)
No context found.
Philip Wadler. Deforestation: Transforming programs to eliminate trees. Theoretical Computer Science, 73:231--248, 1990.
A Constraint-based Partial Evaluator for Functional - Logic Programs And (Correct)
No context found.
P. Wadler. Deforestation: Transforming Programs to Eliminate Trees. Theoretical Computer Science, 73:231--248, 1990.
A Constraint-based Partial Evaluator for Functional - Logic Programs And (Correct)
No context found.
P. Wadler. Deforestation: Transforming Programs to Eliminate Trees. In H. Ganzinger, editor, Proceedings of the European Symposium on Programming, LNCS 300, pages 344--358. Springer Verlag, 1988.
Design Patterns as Higher-Order Datatype-Generic Programs - Gibbons (2006) (Correct)
No context found.
P. Wadler. Deforestation: Transforming programs to eliminate trees. Theoretical Computer Science, 73:231--248, 1990.
Streaming Representation-Changers - Gibbons (2004) (Correct)
No context found.
Philip Wadler. Deforestation: Transforming programs to eliminate trees. Theoretical Computer Science, 73:231--248, 1990.
Metamorphisms: Streaming Representation-Changers - Gibbons (2005) (Correct)
No context found.
P. Wadler, Deforestation: Transforming programs to eliminate trees, Theoretical Computer Science 73 (1990) 231--248.
Unfold/fold Transformations Preserving Termination Properties - Amtoft (1992) (1 citation) (Correct)
No context found.
Philip Wadler. Deforestation: Transforming programs to eliminate trees. Theoretical Computer Science, 73:231--248, 1990. This article was processed using the L a T E X macro package with LLNCS style
Equational Semantics - Correnson (1999) (2 citations) (Correct)
No context found.
Philip Wadler. Deforestation: Transforming Programs to Eliminate Trees. In Harald Ganzinger, editor, European Symposium on Programming (ESOP '88), volume 300 of Lect. Notes in Comp. Sci., pages 344--358, Nancy, March 1988. Springer-Verlag.
Declarative Program Transformation: A Deforestation.. - Correnson, Duris.. (1999) (10 citations) (Correct)
No context found.
P. Wadler. Deforestation: Transforming Programs to Eliminate Trees. In European Symposium on Programming (ESOP '88), LNCS # 300, Nancy, March 1988. Springer-Verlag.
Equational Semantics - Loic Correnson Etienne (1999) (2 citations) (Correct)
No context found.
Philip Wadler. Deforestation: Transforming Programs to Eliminate Trees. In Harald Ganzinger, editor, European Symposium on Programming (ESOP '88), volume 300 of Lect. Notes in Comp. Sci., pages 344--358, Nancy, March 1988. Springer-Verlag. 15
A Generic Framework for Genericity - Loic Correnson Etienne (Correct)
No context found.
Philip Wadler. Deforestation: transforming programs to eliminate trees. In Theoretical Computer Science, volume 73, pages 231--248, 1990. (Special issue of selected papers from 2'nd European Symposium on Programming)
Call-by-Name Specialization of Functional Logic Programs - Alpuente, Falaschi.. (1996) (Correct)
No context found.
P.L. Wadler. Deforestation: transforming programs to eliminate trees. In Proc of the European Symp. on Programming, ESOP'88, pages 344--358. Springer LNCS 300, 1988. 68
Specialization of Lazy Functional Logic Programs - Alpuente, Falaschi, Julian.. (1997) (8 citations) (Correct)
No context found.
P.L. Wadler. Deforestation: transforming programs to eliminate trees. In Proc of the European Symp. on Programming, ESOP'88, pages 344--358. Springer LNCS 300, 1988. 21
Narrowing-driven Specialization of Functional Logic Programs - Alpuente, Falaschi, Vidal (1996) (Correct)
No context found.
P.L. Wadler. Deforestation: transforming programs to eliminate trees. In Proc of the European Symp. on Programming, ESOP'88, pages 344--358. Springer LNCS 300, 1988. 53
logspace and ptime Characterized by Programming - Languages Neil Jones (1999) (4 citations) (Correct)
No context found.
P. Wadler, Deforestation: transforming programs to eliminate trees. European Symposium On Programming (ESOP). Lecture Notes in Computer Science 300, pp. 344-358, Nancy, France, Springer-Verlag, 1988. 27
A Calculus of Circular Proofs and its Categorical Semantics - Santocanale (2002) (2 citations) (Correct)
No context found.
P. Wadler. Deforestation: transforming programs to eliminate trees. Theoret. Comput. Sci., 73(2):231-248, 1990.
Call-by-Name Partial Evaluation of Functional Logic.. - Alpuente, Falaschi.. (1996) (Correct)
No context found.
P.L. Wadler. Deforestation: transforming programs to eliminate trees. In Proc ESOP'88, pages 344--358. Springer LNCS 300, 1988.
Precise and Expressive Mode Systems for Typed Logic Programming.. - Overton (2003) (Correct)
No context found.
Philip Wadler. Deforestation: Transforming programs to eliminate trees. Theoretical Computer Science, 73:231--248, 1990.
Efficient Compile-Time Garbage Collection for Arbitrary Data.. - Mohnen (1995) (9 citations) (Correct)
No context found.
P. Wadler. Deforestation: Transforming programs to eliminate trees. Theoretical Computer Science, (73):231---248, 1990. 20
Functional Programming Concepts and Straight-line.. - Bruno, Heintz.. (2003) (Correct)
No context found.
P. Wadler, Deforestation: Transforming programs to eliminate trees, Theoretical Computer Science, 73 (1990) 231-248.
Streaming Representation-Changers - Gibbons (2004) (Correct)
No context found.
Philip Wadler. Deforestation: Transforming programs to eliminate trees. Theoretical Computer Science, 73:231--248, 1990.
Conditions for Efficiency Improvement by Tree Transducer.. - Voigtländer (2002) (Correct)
No context found.
P. Wadler. Deforestation: Transforming programs to eliminate trees. Theoret. Comput. Sci., 73:231--248, 1990.
Streaming Algorithms (Extended Abstract) - Gibbons (Correct)
No context found.
Philip Wadler. Deforestation: Transforming programs to eliminate trees. Theoretical Computer Science, 73:231--248, 1990.
On the Time-Space Complexity of Geometric Elimination.. - Heintz, Matera, Waissbein (1999) (6 citations) (Correct)
No context found.
P. Wadler. Deforestation: transforming programs to eliminate trees. Theoretical Computer Science, 73:231--248, 1990. (Special issue of selected papers from 2nd. ESOP).
Efficient Closure Utilisation by Higher-Order Inheritance Analysis - Mohnen (1995) (2 citations) (Correct)
No context found.
P. Wadler. Deforestation: Transforming programs to eliminate trees. Theoretical Computer Science, 1(73):231---248, 1990.
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