Signals and comonads (2005)

Cached

Download Links

by Tarmo Uustalu , Varmo Vene
Venue:Journ. of Universal Comp. Sci
Citations:5 - 2 self

Documents Related by Co-Citation

99 Premonoidal Categories and Notions of Computation – John Power, Edmund Robinson - 1995
48 A new notation for arrows – Ross Paterson - 2001
6 Environments, Continuation Semantics and Indexed Categories – John Power, Hayo Thielecke - 1997
930 Categories for the Working Mathematician – S Mac Lane - 1971
159 Generalising Monads to Arrows – John Hughes - 1998
12 Arrows and computation – Ross Paterson - 2003
8 There and back again: arrows for invertible programming – Artem Alimarine, Sjaak Smetsers, Arjen Weelden, Marko Eekelen, Rinus Plasmeijer - 2006
18 The essence of dataflow programming – Tarmo Uustalu, Varmo Vene - 2005
25 Polytypic Data Conversion Programs – Patrik Jansson, Johan Jeuring - 2001
2 The essence of dataflow programming (short version – Tarmo Uustalu, Varmo Vene - 2005
12 Arrows, like monads, are monoids – Chris Heunen, Bart Jacobs - 2006
126 The formal theory of monads – Ross Street - 1972
63 1964] Abelian Categories: An Introduction to the Theory of Functors. Harper – P Freyd
32 Generalising Monads to Arrows. Science of Computer Programming, 37:67–111, May 2000. R. van der Meyden. Finite State Implementations of Knowledge-Based Programs – J Hughes
112 Categorical Logic and Type Theory – B Jacobs - 1999
57 Deterministic, Error-Correcting Combinator Parsers – S. Doaitse Swierstra, Luc Duponcheel - 1996
7 The Dual of Substitution is Redecoration – Tarmo Uustalu, Varmo Vene - 2002
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