The Dual of Substitution is Redecoration (2002)

Cached

Download Links

by Tarmo Uustalu , Varmo Vene
Citations:7 - 3 self

Documents Related by Co-Citation

21 Recursion Schemes from Comonads – Tarmo Uustalu, Varmo Vene, Alberto Pardo - 2001
99 Premonoidal Categories and Notions of Computation – John Power, Edmund Robinson - 1995
159 Generalising Monads to Arrows – John Hughes - 1998
41 Infinite trees and completely iterative theories: a coalgebraic view. Theoretical Computer Science – Peter Aczel, Jirí Adámek, Stefan Milius, Jiri Velebil - 2003
8 Generalized Iteration and Coiteration for Higher-Order Nested Datatypes – Andreas Abel, Ralph Matthes, Tarmo Uustalu - 2003
24 Manufacturing Datatypes – Ralf Hinze - 1999
12 Iteration and Coiteration Schemes for Higher-Order and Nested Datatypes – Andreas Abel, Ralph Matthes, Tarmo Uustalu - 2004
4 Freyd is Kleisli, for arrows – Bart Jacobs, Ichiro Hasuo - 2006
12 Arrows, like monads, are monoids – Chris Heunen, Bart Jacobs - 2006
4 Solving stream equation systems – B Barbier - 2002
2 Arrows, robots, and functional programming.InJ.Jeuring,S.PeytonJones,eds.,Revised Lectures from – P Hudak, A Courtney, H Nilsson, J Peterson - 2003
2 Coalgebraic techniques for reactive functional programming – R B Kieburtz - 2000
2 Lucid Synchrone: tutorial and reference manual. Unpublished manuscript – M Pouzet - 2001
6 Codata and comonads – R B Kieburtz - 1999
5 Signals and comonads – Tarmo Uustalu, Varmo Vene - 2005
8 Combining a monad and a comonad. Theoret – John Power, Hiroshi Watanabe - 2002
10 Generic Accumulations – Alberto Pardo - 2002
30 Clocks in Dataflow languages – P Caspi - 1992
8 Programming with arrows – J Hughes - 2004