|
11
|
The essence of dataflow programming
– Tarmo Uustalu, Varmo Vene
- 2005
|
|
3
|
Optimisation of dynamic, hybrid signal function networks
– Neil Sculthorpe, Henrik Nilsson
- 2008
|
|
1
|
TOWARDS SAFE AND EFFICIENT FUNCTIONAL REACTIVE PROGRAMMING
– Neil Sculthorpe
- 2011
|
|
8
|
Safe Functional Reactive Programming through Dependent Types
– Neil Sculthorpe, Henrik Nilsson
|
|
|
Submission to ICFP 2009 Safe Functional Reactive Programming through Dependent Types
– Neil Sculthorpe, Henrik Nilsson
|
|
7
|
Semantics of value recursion for monadic input/output
– Levent Erkök, John Launchbury, Andrew Moran
- 2002
|
|
5
|
Traced Premonoidal Categories
– Nick Benton, Martin Hyland
- 1999
|
|
1
|
Monad Transformers as Monoid Transformers
– Mauro Jaskelioff
|
|
5
|
Signals and comonads
– Tarmo Uustalu, Varmo Vene
- 2005
|
|
|
Deprecating the Observer Pattern EPFL-REPORT-148043
– Ingo Maier, Tiark Rompf, Martin Odersky
|
|
5
|
The arrow calculus
– Sam Lindley, Philip Wadler, Jeremy Yallop
- 2008
|
|
1
|
Cartesian effect categories are Freyd-categories
– Jean-guillaume Dumas, Dominique Duval, Jean-claude Reynaud
- 2009
|
|
5
|
Coalgebraic Components in a Many-Sorted Microcosm
– Ichiro Hasuo, Chris Heunen, Bart Jacobs, Ana Sokolova
|
|
11
|
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
|
|
28
|
Embedding dynamic dataflow in a call-by-value language
– Gregory H. Cooper, Shriram Krishnamurthi
- 2006
|
|
3
|
Freyd is Kleisli, for arrows
– Bart Jacobs, Ichiro Hasuo
- 2006
|
|
17
|
N-synchronous Kahn networks: a relaxed model of synchrony for real-time systems
– Albert Cohen, Marc Duranton
- 2006
|
