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

Documents Related by Co-Citation

403 Deforestation: Transforming programs to eliminate trees – Philip Wadler - 1990
91 Shortcut Deforestation in Calculational Form – Akihiko Takano, Erik Meijer - 1995
574 A Transformation System for Developing Recursive Programs – R. M. Burstall, John Darlington - 1977
73 Towards an automated tupling strategy – Wei-Ngan Chin - 1993
8 A.: Tupling Calculation Eliminates Multiple Traversals – Z Hu, H Iwasaki, M Takeichi, Takano - 1997
193 A Short Cut to Deforestation – Andrew Gill, John Launchbury, Simon L Peyton Jones - 1993
35 Safe fusion of functional expressions II: Further improvements – Wei-Ngan Chin - 1994
113 A Fold for All Seasons – Tim Sheard , Leonidas Fegaras - 1993
122 An experiment in partial evaluation: The generation of a compiler generator – Neil D Jones, Peter Sestoft, Harald Søndergaard - 1985
641 P.: Partial Evaluation and Automatic Program Generation – N D Jones, C K Gomard, Sestoft - 1993
2 Lecture notes on theory of lists – Richard S Bird - 1989
2 Deriving laws by program specialization – W N Chin, A Takano - 1997
60 Safe fusion of functional expressions – Wei-Ngan Chin - 1992
46 Deriving Structural Hylomorphisms From Recursive Definitions – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1996
14 Towards unifying deforestation, supercompilation, partial evaluation, and generalized partial computation – M H B Sørensen, R Glück, N D Jones - 1994
87 The promotion and accumulation strategies in transformational programming – R Bird - 1984
14 Tupling and mutumorphisms – Maarten Fokkinga - 1989
97 and Order in Algorithmics – Law - 1992
37 Theories for Algorithm Calculation – Johan Theodoor Jeuring - 1993