A new notation for arrows
DOI10.1145/507635.507664zbMATH Open1323.68147OpenAlexW2116435685MaRDI QIDQ5178012FDOQ5178012
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
Recommendations
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)
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 arrow calculus
- The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics
- 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
- Idioms are oblivious, arrows are meticulous, monads are promiscuous
- Properties of a Notation for Combining Functions
- Keeping calm in the face of change. Towards optimisation of FRP by reasoning about change
- Causal commutative arrows
- Traced Premonoidal Categories
- Recognizable languages of arrows and cospans
- Quantum arrows in Haskell
- Categorical semantics for arrows
- Free applicative functors
- An abstract monadic semantics for value recursion
- Modal FRP for all: Functional reactive programming without space leaks in Haskell
- Cartesian effect categories are Freyd-categories
Uses Software
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)
