Warm Fusion: Deriving Build-Catas from Recursive Definitions (1995)

Cached

Download Links

by John Launchbury , Tim Sheard
Venue:In Conf. on Func. Prog. Languages and Computer Architecture
Citations:72 - 2 self

Active Bibliography

4 Optimizing Algebraic Programs – Tim Sheard, Leonidas Fegaras - 1994
25 Improving Programs which Recurse over Multiple Inductive Structures – Leonidas Fegaras, Tim Sheard, Tong Zhou - 1994
1 Warm Fusion for the Masses: Detailing Virtual Data Structure Elimination in Fully Recursive Languages – Patricia Johann, John Launchbury - 1997
31 Proving the Correctness of Recursion-Based Automatic Program Transformations – David Sands - 1996
23 Warm Fusion in Stratego: A Case Study in Generation of Program Transformation Systems – Patricia Johann, Eelco Visser - 2000
113 A Fold for All Seasons – Tim Sheard , Leonidas Fegaras - 1993
17 Deforestation for Higher-Order Functional Programs – Simon David Marlow - 1995
3 Eliminating Intermediate Lists in pH using Local Transformations – Jan-Willem Maessen - 1994
1 Simplifying Parallel List Traversal – Jan-willem Maessen, Jan-willem Maessen - 1995
4 Automating Synthesis by Completion – Françoise Bellegarde - 1994
3 Using the Parametricity Theorem for Program Fusion – Leonidas Fegaras - 1996
20 A Supercompiler for Core Haskell – Neil Mitchell, Colin Runciman
3 Towards Manipulation of Mutually Recursive Functions – Hideya Iwasaki, Zhenjiang Hu, Masato Takeichi - 1998
12 Constraints to Stop Higher-Order Deforestation – H. Seidl, M.H. Sørensen - 1997
39 Querying Nested Collections – Limsoon Wong - 1994
12 A Constraint-based Partial Evaluator for Functional Logic Programs and its Application – Laura Lafave - 1998
35 A Roadmap to Metacomputation by Supercompilation – Robert Glück, Morten Heine Sørensen - 1996
22 Towards Unifying Partial Evaluation, Deforestation, Supercompilation, and GPC – Morten Heine Sørensen, Robert Glück, Neil D. Jones - 1994
79 On perfect supercompilation – Jens Peter Secher, Morten Heine Sørensen - 1996