Shortcut Deforestation in Calculational Form (1995)

Cached

Download Links

by Akihiko Takano , Erik Meijer
Venue:In Proc. Conference on Functional Programming Languages and Computer Architecture
Citations:90 - 3 self

Active Bibliography

1 Warm Fusion for the Masses: Detailing Virtual Data Structure Elimination in Fully Recursive Languages – Patricia Johann, John Launchbury - 1997
12 Constraints to Stop Higher-Order Deforestation – H. Seidl, M.H. Sørensen - 1997
4 An Extension Of The Acid Rain Theorem – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1996
3 Using the Parametricity Theorem for Program Fusion – Leonidas Fegaras - 1996
23 Warm Fusion in Stratego: A Case Study in Generation of Program Transformation Systems – Patricia Johann, Eelco Visser - 2000
79 On perfect supercompilation – Jens Peter Secher, Morten Heine Sørensen - 1996
46 Deriving Structural Hylomorphisms From Recursive Definitions – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1996
16 Calculating Accumulations – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1999
5 An Intermediate Meta-Language for Program Transformation – Mark Tullsen, Paul Hudak - 1998
2 Towards a Modular Program Derivation via Fusion and Tupling – Wei-Ngan Chin, Zhenjiang Hu - 2002
4 Fusion for Free! – Leonidas Fegaras - 1996
95 Bananas in Space: Extending Fold and Unfold to Exponential Types – Erik Meijer, Graham Hutton - 1995
33 A Calculational Fusion System HYLO – Yoshiyuki Onoue, Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1997
22 Towards Unifying Partial Evaluation, Deforestation, Supercompilation, and GPC – Morten Heine Sørensen, Robert Glück, Neil D. Jones - 1994
12 A Constraint-based Partial Evaluator for Functional Logic Programs and its Application – Laura Lafave - 1998
10 Integer Constraints to Stop Deforestation – Helmut Seidl - 1996
2 Towards polytypic parallel programming – Zhenjiang Hu, Masato Takeichi, Hideya Iwasaki - 1998
4 Optimizing Algebraic Programs – Tim Sheard, Leonidas Fegaras - 1994
22 Fold and Unfold for Program Semantics – Graham Hutton - 1998