Electric Clojure implements a form of arrowized continuous time dataflow programming with extensions for network-transparent function composition.
- The Haskell School of Music: From Signals to Symphonies (2018) — best starting point and also a great intro to Haskell.
- The Essence of Dataflow Programming (2006) great category theory overview of dataflow programming; missing Applicative (2008), Free monad and Cofree comonad
- Push-pull functional reactive programming, Elliot (2009)
- Breaking down FRP, Jane Street (2014) — good concise comparision of many FRP aspects; missing discussion of discrete vs continuous
- Compiling to Categories, Elliott (2017)
- https://en.wikipedia.org/wiki/Functional_reactive_programming
- Introduction to Incr_dom: Writing Dynamic Web Apps in OCaml, Jane Street (2018)
- Data Driven UIs, Incrementally, Jane Street (2018) good intro to incremental map, it's implementation and application
- Incremental (OCaml library) from Jane Street (2017)
- Seven Implementations of Incremental (lecture), Jane Street, 2016 good overview of challenges essential to incremental computing
- Yampa (Haskell library) — best arrowized FRP lib in Haskell
- FRP Zoo – the TodoMVC of FRP (2017)
- Capriotti, Kaposi. Free Applicative Functors "We show how free applicative functors can be used to implement embedded DSLs which can be statically analysed."
- 2016 Marlow, Jones, Kmett, Mokhov. Desugaring Haskell’s do-Notation into Applicative Operations
- 2017 Minsky Jane Street. Incremental: self-adjusting computations for OCaml rehash of 2016 Minsky
- 2018 Elliott. The simple essence of automatic differentiation
- 2010 Elliott. Why program with continuous time?
- 2010 Elliott. Can functional programming be liberated from the von Neumann paradigm?
- https://github.com/lexi-lambda/freer-simple
- https://github.com/gelisam/frp-zoo
- https://github.com/fused-effects/fused-effects
- https://github.com/hasura/eff
- https://github.com/polysemy-research/polysemy
- https://github.com/KingoftheHomeless/in-other-words
- 2018 White Jane Street. Effective Programming: Adding an Effect System to OCaml
- 2017 McSherry Microsoft. Differential dataflow
- 2015 Wu, Schrijvers2. Fusion for Free: Efficient Algebraic Effect Handers
- _ Kiselyov, Sabry, Swords. Extensible Effects: An Alternative to Monad Transformers
- _ Kiselyov, IshiiFreer Monads, More Extensible Effects
- 2018 Yu Microsoft. Dynamic Control Flow in Large Scale Machine Learning
- 2013 McSherry. Naiad: a timely dataflow system
- 2016 McSherry. Incremental, iterative data processing with timely dataflow
- 2014 Carkci. Dataflow and Reactive Programming Systems (book)
- 2016 Czaplicki. A Farewell to FRP: Making signals unnecessary with The Elm Architecture
- 2008 Kiselyov. Finally Tagless, Partially Evaluated Tagless Staged Interpreters for Simpler Typed Languages
- 2019 DeGoes. ZIO — A type-safe, composable library for async and concurrent programming in Scala
- http://danghica.blogspot.com/2019/11/making-ocaml-more-like-excel.html
- https://www.reddit.com/r/haskell/comments/db97qw/trouble_choosing_an_effect_library/
- 2014 Hammer. ADAPTON: Composable, DemandDriven Incremental Computation Lazy sampling is performed by a mechanism called DCG (demanded computation graph).
- 2011 Krishnaswami. Higher-Order Functional Reactive Programming in Bounded Space
- https://en.wikipedia.org/wiki/Denotational_semantics
- 2016 Dickens. Rebol vs. Lisp Macros
- 2010 Toady. REBOL: Obscure Programming Language of the Month
- 2019 "9214". Red/Rebol hackernews comment
- https://www.sciencedirect.com/science/article/pii/S1571066115000705
- https://www.stephendiehl.com/posts/exotic03.html
- 2014 https://github.com/brandonbloom/eclj papers-we-love/papers-we-love#9
- https://mail.haskell.org/pipermail/haskell/2005-September/016502.html
- 2014 Czaplicki. Controlling Time and Space: understanding the many formulations of FRP (talk)
https://www.amazon.com/gp/product/0262201755/
https://www.amazon.com/gp/product/3540666249/
https://www.amazon.com/gp/product/3540654100/