Theories for Algorithm Calculation (1993)

Cached

Download Links

by Johan Theodoor Jeuring
Citations:37 - 4 self

Documents Related by Co-Citation

299 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
215 An introduction to the theory of lists – R S Bird - 1987
1312 Monads for functional programming – Philip Wadler - 1995
105 Data structures and program transformation – G Malcolm - 1990
97 and Order in Algorithmics – Law - 1992
113 A Fold for All Seasons – Tim Sheard , Leonidas Fegaras - 1993
91 Shortcut Deforestation in Calculational Form – Akihiko Takano, Erik Meijer - 1995
32 An Exploration of the Bird-Meertens Formalism – Roland Backhouse - 1989
456 Comprehending Monads – Philip Wadler - 1992
193 A Short Cut to Deforestation – Andrew Gill, John Launchbury, Simon L Peyton Jones - 1993
60 Safe fusion of functional expressions – Wei-Ngan Chin - 1992
403 Deforestation: Transforming programs to eliminate trees – Philip Wadler - 1990
215 Introduction to Functional Programming using Haskell – R Bird - 1998
31 Parallelization in Calculational Forms – Zhenjiang Hu, Masato Takeichi, Wei-ngan Chin - 1998
42 Calculating compilers – E Meijer - 1992
16 Calculating Accumulations – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1999
49 Merging Monads and Folds for Functional Programming – Erik Meijer, Johan Jeuring - 1995
574 A Transformation System for Developing Recursive Programs – R. M. Burstall, John Darlington - 1977
87 The promotion and accumulation strategies in transformational programming – R Bird - 1984