Recursive coalgebras from comonads (2006)

Cached

Download Links

by Venanzio Capretta , Tarmo Uustalu , Varmo Vene
Venue:Inform. and Comput
Citations:11 - 3 self

Documents Related by Co-Citation

302 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
2684 Dynamic Programming – Bellman - 1957
500 The synchronous dataflow programming language LUSTRE – N. Halbwachs, P. Caspi, P. Raymond, D. Pilaud - 1991
1318 Monads for functional programming – Philip Wadler - 1995
734 Notions of Computation and Monads – Eugenio Moggi - 1991
447 programming be liberated from the von Neumann style?: a functional style and its algebra of programs – J Can Backus - 2007
406 Deforestation: transforming programs to eliminate trees – P Wadler - 1988
10 Recursive coalgebras of finitary functors – Dominik L├╝cke, Stefan Milius - 2005
333 Theorems for free! – Philip Wadler - 1989