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

(27)

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

Describes a project that uses

Uses Software

• Lucid
• Esterel
• Fudgets
• LUSTRE
• Haskell

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)