Fair reactive programming

DOI10.1145/2535838.2535881MaRDI QIDQ5408431zbMATH OpenOpenAlexFDO

Authors Andrew Cave, Francisco Ferreira, Prakash Panangaden, Brigitte Pientka

Publication date 10 April 2014

Published in Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Search for Journal in Brave)

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

zbMATH Keywords

temporal logicfunctional reactive programminglivenesspropositions-as-types

Mathematics Subject Classification ID

Logic in computer science (03B70) Functional programming and lambda calculus (68N18)

Recommendations

• Functional reactive programming with liveness guarantees
• Functional reactive types
• Higher-order functional reactive programming in bounded space
• Real-time FRP
• Higher-order functional reactive programming without spacetime leaks

Cited in

(20)

• When programs have to watch paint dry
• Ideal presentations and numberings of some classes of effective quasi-Polish spaces
• On the Weihrauch degree of the additive Ramsey theorem
• On the first-order parts of problems in the Weihrauch degrees
• Adjoint reactive GUI programming
• Temporal refinements for guarded recursive types
• Fair distributed computation of reactive functions
• Hilbert's tenth problem for term algebras with a substitution operator
• Defining long words succinctly in FO and MSO
• Complemented subsets and Boolean-valued, partial functions
• Algorithmically random series
• Lower bounds on () and other properties of -register machines
• Reifying dynamical algebra: maximal ideals in countable rings, constructively
• Bouncing threads for circular and non-wellfounded proofs. Towards compositionality with circular proofs
• Feasibility interval for the transactional event handlers of P-FRP
• On the cut-elimination of the modal -calculus: linear logic to the rescue
• Higher-order functional reactive programming without spacetime leaks
• Towards a common categorical semantics for linear-time temporal logic and functional reactive programming
• Modal FRP for all: Functional reactive programming without space leaks in Haskell
• Algebra and Coalgebra in Computer Science

This page was built for publication: Fair reactive programming

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