The essence of dataflow programming (short version (2005)

Cached

Download Links

by Tarmo Uustalu , Varmo Vene
Venue:Proc. of 3rd Asian Symp. on Programming Languages and Systems, APLAS 2005, v. 3780 of Lect. Notes in Comput. Sci
Citations:2 - 1 self

Documents Related by Co-Citation

5 Signals and comonads – Tarmo Uustalu, Varmo Vene - 2005
12 Arrows, like monads, are monoids – Chris Heunen, Bart Jacobs - 2006
48 A new notation for arrows – Ross Paterson - 2001
99 Premonoidal Categories and Notions of Computation – John Power, Edmund Robinson - 1995
159 Generalising Monads to Arrows – John Hughes - 1998
1 Handbook of Categorical Algebra, vols. 50, 51 and 52 of Encyclopedia of Mathematics. Cambridge Univ – F Borceux - 1994
18 Handbook of Categorical Algebra, volume 50, 51 and 52 of Encyclopedia of Mathematics. Cambridge Univ – F Borceux - 1994
8 There and back again: arrows for invertible programming – Artem Alimarine, Sjaak Smetsers, Arjen Weelden, Marko Eekelen, Rinus Plasmeijer - 2006
6 Environments, Continuation Semantics and Indexed Categories – John Power, Hayo Thielecke - 1997
7 Combining a monad and a comonad. Theor – J Power, H Watanabe - 2002
126 The formal theory of monads – Ross Street - 1972
18 The essence of dataflow programming – Tarmo Uustalu, Varmo Vene - 2005
25 Polytypic Data Conversion Programs – Patrik Jansson, Johan Jeuring - 2001
930 Categories for the Working Mathematician – S Mac Lane - 1971
7 The Dual of Substitution is Redecoration – Tarmo Uustalu, Varmo Vene - 2002
4 Solving stream equation systems – B Barbier - 2002
1 Colaço,A.Girault,G.Hamon,M.Pouzet.Towardsahigher-ordersynchronous data-flow language – J-L - 2004
1 Monadic recursive bindings – L Erkök, J Launchbury - 2000
2 Arrows, robots, and functional programming.InJ.Jeuring,S.PeytonJones,eds.,Revised Lectures from – P Hudak, A Courtney, H Nilsson, J Peterson - 2003