Higher-order functional reactive programming without spacetime leaks

DOI10.1145/2500365.2500588MaRDI QIDQ5244802zbMATH OpenOpenAlexFDO

Authors 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

capabilitiescomonadsdataflowfunctional reactive programmingguarded recursionKripke logical relationstemporal logic

Mathematics Subject Classification ID

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

Recommendations

• Higher-order functional reactive programming in bounded space
• Real-time FRP
• Practical principled FRP: forget the past, change the future, FRPNow!
• Safe functional reactive programming through dependent types
• Fair reactive programming

Cited in

(15)

• Adjoint reactive GUI programming
• Temporal refinements for guarded recursive types
• Safe functional reactive programming through dependent types
• Higher-order functional reactive programming in bounded space
• The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types
• Practical principled FRP: forget the past, change the future, FRPNow!
• Abstract categorical semantics for resourceful functional reactive programming
• Semantic Foundations for Deterministic Dataflow and Stream Processing
• Dual-context calculi for modal logic
• Fault-tolerant functional reactive programming (extended version)
• Functional reactive programming with liveness guarantees
• Fair reactive programming
• When programs have to watch paint dry
• Modal FRP for all: Functional reactive programming without space leaks in Haskell
• Higher-order asynchronous effects

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

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