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

dependent typesdomain-specific languagesDSELSFRPfunctional programmingreactive programmingsynchronous data-flow

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)

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

Describes a project that uses

Uses Software

• Simulink
• Agda
• Yampa

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)