Comonadic Iteration (Abstract) (2000)

View PDF

Download Links

by Tarmo Uustalu , Varmo Vene , Alberto Pardo

Active Bibliography

23 Recursion schemes from comonads – T Uustalu, V Vene, A Pardo
Comonadic Iteration – Tarmo Uustalu, Varmo Vene, Alberto Pardo
Submitted to ICFP’13 Unifying Recursion Schemes – Ralf Hinze, Nicolas Wu, Jeremy Gibbons
146 Models and Languages for Parallel Computation – David B. Skillicorn, Domenico Talia - 1998
96 Bananas in Space: Extending Fold and Unfold to Exponential Types – Erik Meijer, Graham Hutton - 1995
84 Nested datatypes – Richard Bird, Lambert Meertens - 1998
83 Generic programming: An introduction – Patrik Jansson, Johan Jeuring, Lambert Meertens - 1999
61 A tutorial on the universality and expressiveness of fold – Graham Hutton - 1999
58 A cost calculus for parallel functional programming – D. B. Skillicorn, W Cai - 1995