Higher-order functional reactive programming in bounded space

DOI10.1145/2103656.2103665MaRDI QIDQ2942856zbMATH OpenOpenAlexFDO

Authors Neelakantan R. Krishnaswami, Nick Benton, Jan Hoffmann

Publication date 11 September 2015

Published in Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

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

zbMATH Keywords

bunched implicationsdataflowfunctional reactive programminglinear logicspace-bounded computation

Mathematics Subject Classification ID

Logic in computer science (03B70) Functional programming and lambda calculus (68N18) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55)

Recommendations

• Higher-order functional reactive programming without spacetime leaks
• Bounded synthesis of reactive programs
• Computation by interaction for space-bounded functional programming
• Abstract categorical semantics for resourceful functional reactive programming
• Modal FRP for all: Functional reactive programming without space leaks in Haskell
• scientific article; zbMATH DE number 7362475
• Functional reactive programming with liveness guarantees
• Fault-tolerant functional reactive programming (extended version)

Cited in

(19)

• Lewis meets Brouwer: constructive strict implication
• Type-directed bounding of collections in reactive programs
• Computation by interaction for space-bounded functional programming
• Settable and non-interfering signal functions for FRP: how a first-order switch is more than enough
• Safe functional reactive programming through dependent types
• 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
• scientific article; zbMATH DE number 7362475 (Why is no real title available?)
• Foundations of total functional data-flow programming
• Fault-tolerant functional reactive programming (extended version)
• Higher-order functional reactive programming without spacetime leaks
• Functional reactive programming with liveness guarantees
• Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: The Hume Approach
• Functional reactive animation
• Fair reactive programming
• Modal FRP for all: Functional reactive programming without space leaks in Haskell
• Reasonable space for the -calculus, logarithmically
• Reasonable space for the -calculus, logarithmically

This page was built for publication: Higher-order functional reactive programming in bounded space

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