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:91 - 3 self

Documents Related by Co-Citation

195 A Short Cut to Deforestation – Andrew Gill, John Launchbury, Simon L Peyton Jones - 1993
298 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
112 A Fold for All Seasons – Tim Sheard , Leonidas Fegaras - 1993
400 Deforestation: Transforming programs to eliminate trees – Philip Wadler - 1990
73 Warm Fusion: Deriving Build-Catas from Recursive Definitions – John Launchbury, Tim Sheard - 1995
46 Deriving Structural Hylomorphisms From Recursive Definitions – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1996
97 and Order in Algorithmics – Law - 1992
105 Data structures and program transformation – G Malcolm - 1990
62 Cheap Deforestation for Non-strict Functional Languages – Andrew John Gill, Andrew John Gill - 1996
1309 Monads for functional programming – Philip Wadler - 1995
570 A Transformation System for Developing Recursive Programs – R. M. Burstall, John Darlington - 1977
42 Shortcut Fusion for Accumulating Parameters Zip-like Functions – Josef Svenningsson - 2002
458 Comprehending Monads – Philip Wadler - 1992
49 Merging Monads and Folds for Functional Programming – Erik Meijer, Johan Jeuring - 1995
95 Bananas in Space: Extending Fold and Unfold to Exponential Types – Erik Meijer, Graham Hutton - 1995
56 Playing by the rules: rewriting as a practical optimisation technique in GHC – Simon Peyton Jones, Andrew Tolmach, Tony Hoare
25 Type Inference Builds a Short Cut to Deforestation – Olaf Chitil - 1999
60 Safe fusion of functional expressions – Wei-Ngan Chin - 1992
17 A generalization of short-cut fusion and its correctness proof – P Johann