Safe functional reactive programming through dependent types

DOI10.1145/1596550.1596558MaRDI QIDQ2936799zbMATH OpenOpenAlexFDO

Authors Neil Sculthorpe, Henrik Nilsson

Publication date 6 January 2015

Published in Proceedings of the 14th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL http://irep.ntu.ac.uk/id/eprint/29355/1/PS29355_Sculthorpe.pdf

zbMATH Keywords

functional programmingreactive programmingdependent typesdomain-specific languagesFRPsynchronous data-flowDSELS

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

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

Cited in

(12)

• Functional reactive types
• Programming Languages and Systems
• Dynamic optimization for functional reactive programming using generalized algebraic data types
• Type-directed bounding of collections in reactive programs
• Semantic Foundations for Deterministic Dataflow and Stream Processing
• Interactive programming in Agda -- objects and graphical user interfaces
• Fault-tolerant functional reactive programming (extended version)
• Keeping calm in the face of change. Towards optimisation of FRP by reasoning about change
• Higher-order functional reactive programming without spacetime leaks
• Functional reactive programming with liveness guarantees
• Safe \& efficient gradual typing for TypeScript
• Modal FRP for all: Functional reactive programming without space leaks in Haskell

Describes a project that uses

Uses Software

• Yampa
• Agda
• Simulink

This page was built for publication: Safe functional reactive programming through dependent types

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