Composition of functions with accumulating parameters (2004)

by Janis Voigtländer , Armin Kühnemann
Venue:Journal of Functional Programming
Citations:20 - 9 self

Documents Related by Co-Citation

403 Deforestation: Transforming programs to eliminate trees – Philip Wadler - 1990
107 Macro tree transducers – J Engelfriet, H Vogler - 1985
119 Mappings and grammars on trees – W Rounds - 1970
31 Benefits of Tree Transducers for Optimizing Functional Programs – Armin Kühnemann - 1998
56 Generalized2 sequential machine maps – James W Thatcher
326 Theorems for free! – Philip Wadler - 1989
42 Shortcut Fusion for Accumulating Parameters Zip-like Functions – Josef Svenningsson - 2002
574 A Transformation System for Developing Recursive Programs – R. M. Burstall, John Darlington - 1977
9 Composition of restricted Macro Tree Transducers – Janis Voigtländer, Verantwortlicher Hochschullehrer, Prof Dr. -ing, Heiko Vogler, Lehrstuhl Grundlagen - 2001
91 Shortcut Deforestation in Calculational Form – Akihiko Takano, Erik Meijer - 1995
193 A Short Cut to Deforestation – Andrew Gill, John Launchbury, Simon L Peyton Jones - 1993
14 Using Circular Programs to Deforest in Accumulating Parameters – Janis Voigtländer - 2002
37 A comparison of pebble tree transducers with macro tree transducers – Joost Engelfriet, Sebastian Maneth - 2003
25 Concatenate, Reverse and Map Vanish For Free – Janis Voigtländer - 2002
35 Safe fusion of functional expressions II: Further improvements – Wei-Ngan Chin - 1994
13 Relating Accumulative and Non-Accumulative Functional Programs – Armin Kühnemann, Robert Glück, Kazuhiko Kakehi - 2001
18 Comparison of Deforestation Techniques for Functional Programs and for Tree Transducers – Armin Kühnemann - 1999
5 On Deforesting Parameters of Accumulating Maps – Kazuhiko Kakehi, Robert Glück, Yoshihiko Futamura - 2002
10 Syntax-Directed Semantics|Formal Models Based on Tree Transducers – Z Fulop, H Vogler - 1998