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

Documents Related by Co-Citation

193 A Short Cut to Deforestation – Andrew Gill, John Launchbury, Simon L Peyton Jones - 1993
299 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
113 A Fold for All Seasons – Tim Sheard , Leonidas Fegaras - 1993
403 Deforestation: Transforming programs to eliminate trees – Philip Wadler - 1990
574 A Transformation System for Developing Recursive Programs – R. M. Burstall, John Darlington - 1977
46 Deriving Structural Hylomorphisms From Recursive Definitions – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1996
91 Shortcut Deforestation in Calculational Form – Akihiko Takano, Erik Meijer - 1995
64 Cheap Deforestation for Non-strict Functional Languages – Andrew John Gill, Andrew John Gill - 1996
60 Safe fusion of functional expressions – Wei-Ngan Chin - 1992
97 and Order in Algorithmics – Law - 1992
33 A Calculational Fusion System HYLO – Yoshiyuki Onoue, Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1997
1312 Monads for functional programming – Philip Wadler - 1995
17 Higher Order Deforestation – G.W. Hamilton, St Bg - 1995
95 Bananas in Space: Extending Fold and Unfold to Exponential Types – Erik Meijer, Graham Hutton - 1995
105 Data structures and program transformation – G Malcolm - 1990
56 Playing by the rules: rewriting as a practical optimisation technique in GHC – Simon Peyton Jones, Andrew Tolmach, Tony Hoare
84 A transformation-based optimiser for Haskell – Simon L. Peyton Jones, AndrĂ© L M Santos - 1998
110 Building Program Optimizers with Rewriting Strategies – Eelco Visser, Zine-el-Abidine, Andrew Tolmach - 1998
16 Calculating Accumulations – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1999