The Under-Appreciated Unfold (1998)

Cached

Download Links

by Jeremy Gibbons , Geraint Jones
Venue:In Proceedings of the Third ACM SIGPLAN International Conference on Functional Programming
Citations:48 - 10 self

Documents Related by Co-Citation

299 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
215 Introduction to Functional Programming using Haskell – R Bird - 1998
1312 Monads for functional programming – Philip Wadler - 1995
58 A tutorial on the universality and expressiveness of fold – Graham Hutton - 1999
403 Deforestation: Transforming programs to eliminate trees – Philip Wadler - 1990
84 Algebraic Data Types and Program Transformation – G Malcolm - 1990
22 Fold and Unfold for Program Semantics – Graham Hutton - 1998
97 and Order in Algorithmics – Law - 1992
91 Shortcut Deforestation in Calculational Form – Akihiko Takano, Erik Meijer - 1995
326 Theorems for free! – Philip Wadler - 1989
574 A Transformation System for Developing Recursive Programs – R. M. Burstall, John Darlington - 1977
26 Calculating Functional Programs – Jeremy Gibbons - 2000
193 A Short Cut to Deforestation – Andrew Gill, John Launchbury, Simon L Peyton Jones - 1993
27 Sorting Morphisms – Lex Augusteijn - 1998
228 A Tutorial on (Co)Algebras and (Co)Induction – Bart Jacobs, Jan Rutten - 1997
86 Algebra of Programming – R Bird, O de Moor - 1997
105 Data structures and program transformation – G Malcolm - 1990
33 A Calculational Fusion System HYLO – Yoshiyuki Onoue, Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1997
72 Warm Fusion: Deriving Build-Catas from Recursive Definitions – John Launchbury, Tim Sheard - 1995