Catamorphism-Based Transformation of Functional Programs (1994)

Cached

Download Links

by Zhenjiang Hu , Hideya Iwasaki , Masato Takeichi
Citations:3 - 3 self

Documents Related by Co-Citation

105 Data structures and program transformation – G Malcolm - 1990
299 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
23 A gentle introduction to category theory --- the calculational approach – Maarten M. Fokkinga - 1992
37 Theories for Algorithm Calculation – Johan Theodoor Jeuring - 1993
32 An Exploration of the Bird-Meertens Formalism – Roland Backhouse - 1989
113 A Fold for All Seasons – Tim Sheard , Leonidas Fegaras - 1993
215 An introduction to the theory of lists – R S Bird - 1987
403 Deforestation: Transforming programs to eliminate trees – Philip Wadler - 1990
4 Bananas in space: Exteding fold and unfold to exponential types – E Meijer, G Hutton - 1995
91 Shortcut Deforestation in Calculational Form – Akihiko Takano, Erik Meijer - 1995
31 Category Theoretic Approach to Data Types – T Hagino - 1987
67 Tabulation techniques for recursive programs – R S Bird - 1980
42 Calculating compilers – E Meijer - 1992
8 Algebraic design language – R B Kieburtz, J Lewis - 1994
4 Type parametric programming with compile-time reflection – T Sheard - 1993
19 Monadic Maps and Folds for Arbitrary Datatypes – Maarten Fokkinga - 1994
49 Merging Monads and Folds for Functional Programming – Erik Meijer, Johan Jeuring - 1995
163 An abstract view of programming languages – E Moggi - 1989
68 Composing Monads – Mark P. Jones, Luc Duponcheel - 1993