Merging Monads and Folds for Functional Programming (1995)

Cached

Download Links

by Erik Meijer , Johan Jeuring
Venue:In Advanced Functional Programming, LNCS 925
Citations:49 - 2 self

Active Bibliography

5 Functional polytypic programming | use and implementation – Patrik Jansson - 1997
92 Polytypic programming – Patrik Jansson - 2000
14 Fusion of Recursive Programs with Computational Effects – Alberto Pardo - 2000
5 Monadic Corecursion - Definition, Fusion Laws, and Applications – Alberto Pardo - 1998
41 Calculate Polytypically! – Lambert Meertens - 1996
1 Warm Fusion for the Masses: Detailing Virtual Data Structure Elimination in Fully Recursive Languages – Patricia Johann, John Launchbury - 1997
2 Deriving animations from recursive definitions – Alcino Cunha, José Barros, João Saraiva - 2002
60 A tutorial on the universality and expressiveness of fold – Graham Hutton - 1999
9 Promotional Transformation on Monadic Programs – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1995
28 Polytypic Pattern Matching – Johan Jeuring - 1995
97 How to Declare an Imperative – Philip Wadler - 1995
33 A Calculational Fusion System HYLO – Yoshiyuki Onoue, Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1997
2 Program fusion with paramorphisms – Facundo Domínguez, Alberto Pardo - 2006
4 An Extension Of The Acid Rain Theorem – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1996
Theoretical Foundations for Practical ‘Totally Functional Programming’ – Colin Kemp - 2007
15 Monadic augment and generalised short cut fusion – Neil Ghani, Patricia Johann - 2005
8 Programming with Algebras – Richard B. Kieburtz, Jeffrey Lewis - 1995
The Under-Performing Unfold A new approach to optimising corecursive programs – Jennifer Hackett, Graham Hutton, Mauro Jaskelioff
95 Bananas in Space: Extending Fold and Unfold to Exponential Types – Erik Meijer, Graham Hutton - 1995