Towards Merging Recursion and Comonads (2000)

Cached

Download Links

by Alberto Pardo
Citations:9 - 2 self

Active Bibliography

Towards Merging Recursion and Comonads – Alberto Pardo Instituto, Alberto Pardo
14 Fusion of Recursive Programs with Computational Effects – A Pardo
12 Generic accumulations – A Pardo - 2002
59 A tutorial on the universality and expressiveness of fold – Graham Hutton - 1999
5 A calculational approach to strong datatypes – Alberto Pardo - 1996
and expressiveness of fold – Graham Hutton
Chapter 5: Calculating Functional Programs – Jeremy Gibbons
Generic Accumulations for Program Calculation – Mauro Jaskelioff - 2004
459 Comprehending Monads – Philip Wadler - 1992