Constraints to Stop Higher-Order Deforestation (1997)

Cached

Download Links

by H. Seidl , M.H. Sørensen
Venue:In 24th ACM Symposium on Principles of Programming Languages
Citations:12 - 1 self

Active Bibliography

10 Integer Constraints to Stop Deforestation – Helmut Seidl - 1996
1 Warm Fusion for the Masses: Detailing Virtual Data Structure Elimination in Fully Recursive Languages – Patricia Johann, John Launchbury - 1997
23 Warm Fusion in Stratego: A Case Study in Generation of Program Transformation Systems – Patricia Johann, Eelco Visser - 2000
33 A Calculational Fusion System HYLO – Yoshiyuki Onoue, Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1997
33 Tupling Calculation Eliminates Multiple Data Traversals – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, Akihiko Takano - 1997
46 Deriving Structural Hylomorphisms From Recursive Definitions – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1996
4 An Extension Of The Acid Rain Theorem – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1996
78 On perfect supercompilation – Jens Peter Secher, Morten Heine Sørensen - 1996
Theoretical Foundations for Practical ‘Totally Functional Programming’ – Colin Kemp - 2007
2 Towards a Modular Program Derivation via Fusion and Tupling – Wei-Ngan Chin, Zhenjiang Hu - 2002
1 Algebraic fusion of functions with an accumulating parameter and its improvement – Shin-ya Katsumata - 2006
15 Declarative Program Transformation: a Deforestation case-study – Loïc Correnson, Etienne Duris, Didier Parigot, Gilles Roussel - 1999
3 How to Deforest in Accumulative Parameters? – Loïc Correnson, How Deforest, Accumulative Parameters, Etienne Duris, Etienne Duris, Didier Parigot, Didier Parigot, Gilles Roussel, Gilles Roussel - 1999
7 Symbolic Composition – Loïc Correnson, Etienne Duris, Didier Parigot, Gilles Roussel - 1998
9 Attribute Grammars and Folds: Generic Control Operators – Etienne Duris, Didier Parigot, Gilles Roussel, Martin Jourdan - 1996
2 Deforesting in Accumulating Parameters via Type-Directed Transformations – Susumu Nishimura - 2002
32 Compilation by Transformation in Non-Strict Functional Languages – André L. de M. Santos - 1995
15 Using Circular Programs to Deforest in Accumulating Parameters – Janis Voigtländer - 2002
42 Shortcut Fusion for Accumulating Parameters Zip-like Functions – Josef Svenningsson - 2002