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

Documents Related by Co-Citation

1318 Monads for functional programming – Philip Wadler - 1995
91 Shortcut Deforestation in Calculational Form – Akihiko Takano, Erik Meijer - 1995
406 Deforestation: transforming programs to eliminate trees – P Wadler - 1988
734 Notions of Computation and Monads – Eugenio Moggi - 1991
333 Theorems for free! – Philip Wadler - 1989
302 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
315 QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs – Koen Claessen, John Hughes - 2000
288 Why functional programming matters – John Hughes - 1989
95 Bananas in Space: Extending Fold and Unfold to Exponential Types – Erik Meijer, Graham Hutton - 1995