A new notation for arrows

DOI10.1145/507635.507664MaRDI QIDQ5178012zbMATH OpenOpenAlexFDO

Authors Ross Paterson

Publication date 9 March 2015

Published in Proceedings of the sixth ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/507635.507664

Mathematics Subject Classification ID

Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Functional programming and lambda calculus (68N18)

Recommendations

• Generalising monads to arrows
• Categorical semantics for arrows
• Notions of computation as monoids
• Arrows, like monads, are monoids
• The arrow calculus

Cited in

(32)

• Generalising monads to arrows
• Reversible effects as inverse arrows
• On the semantics of parsing actions
• Arrows, like monads, are monoids
• Quantum arrows in Haskell
• Categorifying computations into components via arrows as profunctors
• Causal commutative arrows and their optimization
• A New Method for Dependent Parsing
• The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics
• Relating idioms, arrows and monads from monoidal adjunctions
• The Arrow Calculus as a Quantum Programming Language
• Categorical semantics for arrows
• Properties of a Notation for Combining Functions
• Traced Premonoidal Categories
• Recognizable languages of arrows and cospans
• Notions of computation as monoids
• An abstract monadic semantics for value recursion
• Semantics of value recursion for Monadic Input/Output
• Causal commutative arrows
• Notions of monad strength
• Free applicative functors
• What is a categorical model of arrows?
• Idioms are oblivious, arrows are meticulous, monads are promiscuous
• The arrow calculus
• Modal FRP for all: Functional reactive programming without space leaks in Haskell
• Promonads and String Diagrams for Effectful Categories
• Cartesian effect categories are Freyd-categories
• Keeping calm in the face of change. Towards optimisation of FRP by reasoning about change
• The produoidal algebra of process decomposition
• Algebraic effects and handlers for arrows
• String diagrams for premonoidal categories
• Arrows for secure information flow

Describes a project that uses

Uses Software

• LUSTRE
• Esterel
• Haskell
• Lucid
• Fudgets

This page was built for publication: A new notation for arrows

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