A Fold for All Seasons (1993)

Cached

Download Links

by Tim Sheard , Leonidas Fegaras
Venue:IN PROC. CONFERENCE ON FUNCTIONAL PROGRAMMING LANGUAGES AND COMPUTER ARCHITECTURE
Citations:112 - 15 self

Documents Related by Co-Citation

299 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
193 A Short Cut to Deforestation – Andrew Gill, John Launchbury, Simon L Peyton Jones - 1993
97 and Order in Algorithmics – Law - 1992
403 Deforestation: Transforming programs to eliminate trees – Philip Wadler - 1990
105 Data structures and program transformation – G Malcolm - 1990
72 Warm Fusion: Deriving Build-Catas from Recursive Definitions – John Launchbury, Tim Sheard - 1995
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
60 Safe fusion of functional expressions – Wei-Ngan Chin - 1992
91 Shortcut Deforestation in Calculational Form – Akihiko Takano, Erik Meijer - 1995
95 Bananas in Space: Extending Fold and Unfold to Exponential Types – Erik Meijer, Graham Hutton - 1995
42 Calculating compilers – E Meijer - 1992
35 Homomorphisms and promotability – G Malcolm - 1989
168 The Concept of a Supercompiler – Valentin F. Turchin - 1986
31 Category Theoretic Approach to Data Types – T Hagino - 1987
96 Algorithmics: Towards programming as a mathematical activity – L Meertens - 1986
326 Theorems for free! – Philip Wadler - 1989
84 Algebraic Data Types and Program Transformation – G Malcolm - 1990
178 PolyP - a polytypic programming language extension – Patrik Jansson, Johan Jeuring - 1997