Reactivity of Cooperative Systems - Application to ReactiveML
Abstract elided by the publisher.
Related papers
- HipHop.js: (A)Synchronous reactive web programming PLDI 2020
- The Complexity of LTL Rational Synthesis TACAS 2022
- Safe functional reactive programming through dependent types ICFP 2009
- Functional reactive programming from first principles PLDI 2000
- Persistent Shared Object Support in the Guide System: Evaluation & Related Work OOPSLA 1994
- Functional reactive programming, refactored Haskell 2016
- Fault tolerant functional reactive programming (functional pearl) ICFP 2018
- Automatically Closing Open Reactive Programs PLDI 1998