Higher-order functional reactive programming without spacetime leaks

DOI10.1145/2500365.2500588zbMath1323.68128OpenAlexW2139695229MaRDI QIDQ5244802

Neelakantan R. Krishnaswami

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.2500588

zbMATH Keywords

comonadstemporal logicfunctional reactive programmingdataflowcapabilitiesguarded recursionKripke logical relations

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (7)

Semantic Foundations for Deterministic Dataflow and Stream Processing ⋮ When programs have to watch paint dry ⋮ Modal FRP for all: Functional reactive programming without space leaks in Haskell ⋮ The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types ⋮ Adjoint reactive GUI programming ⋮ Temporal refinements for guarded recursive types ⋮ Unnamed Item

This page was built for publication: Higher-order functional reactive programming without spacetime leaks