Keeping calm in the face of change. Towards optimisation of FRP by reasoning about change
DOI10.1007/S10990-011-9068-XzbMATH Open1232.68027OpenAlexW1566348926MaRDI QIDQ656853FDOQ656853
Authors: Neil Sculthorpe, Henrik Nilsson 
Publication date: 13 January 2012
Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10990-011-9068-x
Recommendations
- Settable and non-interfering signal functions for FRP: how a first-order switch is more than enough
- Safe functional reactive programming through dependent types
- Real-time FRP
- Practical principled FRP: forget the past, change the future, FRPNow!
- Abstract categorical semantics for resourceful functional reactive programming
hybrid systemsfunctional reactive programmingdomain-specific languageschange propagationsynchronous data-flow
Functional programming and lambda calculus (68N18) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55)
Cites Work
- The Esterel synchronous programming language: Design, semantics, implementation
- Title not available (Why is that?)
- Title not available (Why is that?)
- Logic in Computer Science
- Synchronous Kahn networks
- Title not available (Why is that?)
- Functional reactive animation
- Title not available (Why is that?)
- Static Scheduling of Synchronous Data Flow Programs for Digital Signal Processing
- Title not available (Why is that?)
- A new notation for arrows
- Dynamic optimization for functional reactive programming using generalized algebraic data types
- Safe functional reactive programming through dependent types
- Causal commutative arrows and their optimization
- Programming Languages and Systems
Cited In (2)
Uses Software
This page was built for publication: Keeping calm in the face of change. Towards optimisation of FRP by reasoning about change
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q656853)
