Causal commutative arrows and their optimization

DOI10.1145/1596550.1596559MaRDI QIDQ2936800zbMATH OpenOpenAlexFDO

Authors Hai Liu, Eric Dahai Cheng, Paul Hudak

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 https://doi.org/10.1145/1596550.1596559

zbMATH Keywords

arrowsdataflow languagefunctional programmingfunctional reactive programmingprogram optimizationstream processing

Mathematics Subject Classification ID

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

Recommendations

• Causal commutative arrows
• The arrow calculus
• Generalising monads to arrows
• A new notation for arrows
• Programming Languages and Systems

Cited in

(3)

• αCheck: A mechanized metatheory model checker
• Causal commutative arrows
• Keeping calm in the face of change. Towards optimisation of FRP by reasoning about change

Describes a project that uses

Uses Software

• Yampa

This page was built for publication: Causal commutative arrows and their optimization

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