Higher-Order Reactive Programming with Incremental Lists
No abstract available.
Related papers
- Efficient Functional Reactive Programming Through Incremental Behaviors APLAS 2017
- Higher-order functional reactive programming without spacetime leaks ICFP 2013
- Higher-order functional reactive programming in bounded space POPL 2012
- A theory of changes for higher-order languages: incrementalizing λ-calculi by static differentiation PLDI 2014
- Safe functional reactive programming through dependent types ICFP 2009
- Deriving with Derivatives: Optimizing Incremental Fixpoints for Higher-Order Flow Analysis ICFP 2024
- Functional reactive programming, continued Haskell 2002
- Settable and non-interfering signal functions for FRP: how a first-order switch is more than enough ICFP 2014