Monadic Corecursion - Definition, Fusion Laws, and Applications (1998)

Cached

Download Links

by Alberto Pardo
Venue:Electronic Notes in Theoretical Computer Science
Citations:5 - 1 self

Active Bibliography

14 Fusion of Recursive Programs with Computational Effects – Alberto Pardo - 2000
5 Functional polytypic programming | use and implementation – Patrik Jansson - 1997
93 Polytypic programming – Patrik Jansson - 2000
Towards Merging Recursion and Comonads – Alberto Pardo Instituto, Alberto Pardo - 2000
9 Towards Merging Recursion and Comonads – Alberto Pardo - 2000
49 Merging Monads and Folds for Functional Programming – Erik Meijer, Johan Jeuring - 1995
41 Calculate Polytypically! – Lambert Meertens - 1996
2 Deriving animations from recursive definitions – Alcino Cunha, José Barros, João Saraiva - 2002
58 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
2 Towards polytypic parallel programming – Zhenjiang Hu, Masato Takeichi, Hideya Iwasaki - 1998
5 A Calculational Approach to Strong Datatypes – Alberto Pardo - 1997
4 Monads, Shapely Functors and Traversals – E. Moggi, G. Bellè, C. B. Jay - 1999
95 Bananas in Space: Extending Fold and Unfold to Exponential Types – Erik Meijer, Graham Hutton - 1995
29 Dealing with Large Bananas – Ralf Lammel, Joost Visser, Jan Kort - 2000
2 "Explosive" Programming Controlled by Calculation – J. N. Oliveira - 1998
Generic Accumulations for Program Calculation – Mauro Jaskelioff - 2004
10 Generic Accumulations – Alberto Pardo - 2002
16 Calculating Accumulations – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1999