The essence of dataflow programming (2005)

Cached

Download Links

by Tarmo Uustalu , Varmo Vene
Venue:In APLAS
Citations:18 - 3 self

Active Bibliography

2 The essence of dataflow programming (short version – 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
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
5 Cartesian effect categories are Freyd-categories – Jean-guillaume Dumas, Dominique Duval, Jean-claude Reynaud - 2009
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
3 Higher-Order Functional Reactive Programming in Bounded Space – Neelakantan R. Krishnaswami, Nick Benton, Jan Hoffmann
36 Embedding dynamic dataflow in a call-by-value language – Gregory H. Cooper, Shriram Krishnamurthi - 2006