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

Active Bibliography

18 The essence of dataflow programming – Tarmo Uustalu, Varmo Vene - 2005
3 Optimisation of dynamic, hybrid signal function networks – Neil Sculthorpe, Henrik Nilsson - 2008
10 Safe Functional Reactive Programming through Dependent Types – Neil Sculthorpe, Henrik Nilsson
3 TOWARDS SAFE AND EFFICIENT FUNCTIONAL REACTIVE PROGRAMMING – Neil Sculthorpe - 2011
7 Semantics of value recursion for monadic input/output – Levent Erkök, John Launchbury, Andrew Moran - 2002
7 Traced Premonoidal Categories – Nick Benton, Martin Hyland - 1999
2 Monad Transformers as Monoid Transformers – Mauro Jaskelioff
5 Signals and comonads – Tarmo Uustalu, Varmo Vene - 2005
2 Causality For Free! Parametricity Implies Causality for Functional Reactive Programs – Alan Jeffrey
2 Deprecating the Observer Pattern – Ingo Maier, Tiark Rompf, Martin Odersky
Causal commutative arrows – Hai Liu, Eric Cheng, Paul Hudak
5 Cartesian effect categories are Freyd-categories – Jean-guillaume Dumas, Dominique Duval, Jean-claude Reynaud - 2009
CMCS 2010 Categorifying Computations into Components via Arrows as Profunctors – Kazuyuki Asada, Ichiro Hasuo
7 The arrow calculus – Sam Lindley, Philip Wadler, Jeremy Yallop - 2008
Should I use a Monad or a Comonad? Draft – Last updated June 16, 2012 – Dominic Orchard
6 Coalgebraic Components in a Many-Sorted Microcosm – Ichiro Hasuo, Chris Heunen, Bart Jacobs, Ana Sokolova
12 Distributive laws for the coinductive solution of recursive equations – Bart Jacobs
4 Switched-On Yampa ⋆ Declarative Programming of Modular Synthesizers – George Giorgidze, Henrik Nilsson
12 Arrows and computation – Ross Paterson - 2003