Fair reactive programming

DOI10.1145/2535838.2535881zbMath1284.68127OpenAlexW2010337608MaRDI QIDQ5408431

Francisco Ferreira, Brigitte Pientka, Andrew Cave, Prakash Panangaden

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

livenesstemporal logicfunctional reactive programmingpropositions-as-types

Mathematics Subject Classification ID

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

Related Items (5)

When programs have to watch paint dry ⋮ Modal FRP for all: Functional reactive programming without space leaks in Haskell ⋮ A Light Modality for Recursion ⋮ Adjoint reactive GUI programming ⋮ Temporal refinements for guarded recursive types

This page was built for publication: Fair reactive programming