Causal commutative arrows

DOI10.1017/S0956796811000153MaRDI QIDQ4918242zbMATH OpenFDO

Authors Hai Liu, Eric Dahai Cheng, Paul Hudak

Publication date 24 April 2013

Published in Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S0956796811000153

zbMATH Keywords

causal commutative normal formYampa

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Recommendations

• Causal commutative arrows and their optimization
• Generalising monads to arrows
• The arrow calculus
• A new notation for arrows
• Notions of computation as monoids

Cites work

• A survey of stream processing
• An Algorithm for the Evaluation of Finite Trigonometric Series
• Applicative programming with effects
• Generalising monads to arrows
• scientific article; zbMATH DE number 3900125 (Why is no real title available?)
• Multiplicities in graded rings II: integral equivalence and the Buchsbaum–Rim multiplicity
• Notions of computation and monads
• On folk theorems
• The arrow calculus

Cited in

(1)

• Causal commutative arrows and their optimization

Describes a project that uses

Uses Software

• Lucid
• Haskell
• GHC
• Yampa

This page was built for publication: Causal commutative arrows

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