Safe functional reactive programming through dependent types

DOI10.1145/1596550.1596558zbMATH Open1302.68070OpenAlexW2105153579MaRDI QIDQ2936799FDOQ2936799

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

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

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)

Cited In (9)

• Functional reactive types
• Programming Languages and Systems
• Interactive programming in Agda – Objects and graphical user interfaces
• Semantic Foundations for Deterministic Dataflow and Stream Processing
• Type-directed bounding of collections in reactive programs
• Functional reactive programming with liveness guarantees
• Keeping calm in the face of change. Towards optimisation of FRP by reasoning about change
• Safe \& efficient gradual typing for TypeScript
• Modal FRP for all: Functional reactive programming without space leaks in Haskell

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)