Causal commutative arrows

DOI10.1017/S0956796811000153zbMath1263.68032MaRDI QIDQ4918242

Eric Dahai Cheng, Paul Hudak, Hai Liu

Publication date: 24 April 2013

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

zbMATH Keywords

Yampacausal commutative normal form

Mathematics Subject Classification ID

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

Uses Software

• Haskell
• GHC
• Yampa
• Lucid

Cites Work

• Unnamed Item
• Notions of computation and monads
• A survey of stream processing
• Generalising monads to arrows
• An Algorithm for the Evaluation of Finite Trigonometric Series
• On folk theorems
• Multiplicities in graded rings II: integral equivalence and the Buchsbaum–Rim multiplicity
• The arrow calculus
• Applicative programming with effects

This page was built for publication: Causal commutative arrows