Functional reactive programming with liveness guarantees

DOI10.1145/2500365.2500584MaRDI QIDQ5244803zbMATH OpenOpenAlexFDO

Authors Alan Jeffrey

Publication date 30 March 2015

Published in Proceedings of the 18th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/2500365.2500584

zbMATH Keywords

concurrencyfunctional reactive programmingliveness

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Fault-tolerant functional reactive programming (extended version)
• Safe functional reactive programming through dependent types
• Reactive concurrent programming revisited
• Higher-order functional reactive programming without spacetime leaks
• Higher-order functional reactive programming in bounded space
• scientific article; zbMATH DE number 526071
• Synthesizing reactive programs
• Verification and synthesis of reactive programs
• Functional reactive types

Cited in

(12)

• Settable and non-interfering signal functions for FRP: how a first-order switch is more than enough
• Safe functional reactive programming through dependent types
• Higher-order functional reactive programming in bounded space
• Practical principled FRP: forget the past, change the future, FRPNow!
• Feasibility interval for the transactional event handlers of P-FRP
• The Miracle of Reactive Programming
• Functional reactive types
• Fault-tolerant functional reactive programming (extended version)
• Functional reactive animation
• Fair reactive programming
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Modal FRP for all: Functional reactive programming without space leaks in Haskell

This page was built for publication: Functional reactive programming with liveness guarantees

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5244803)