A new notation for arrows
From MaRDI portal
Publication:5178012
DOI10.1145/507635.507664zbMath1323.68147OpenAlexW2116435685MaRDI QIDQ5178012
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
Functional programming and lambda calculus (68N18) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)
Related Items (17)
Semantics of value recursion for Monadic Input/Output ⋮ Reversible effects as inverse arrows ⋮ Categorifying Computations into Components via Arrows as Profunctors ⋮ 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 ⋮ On the semantics of parsing actions ⋮ Keeping calm in the face of change. Towards optimisation of FRP by reasoning about change ⋮ A New Method for Dependent Parsing ⋮ Idioms are Oblivious, Arrows are Meticulous, Monads are Promiscuous ⋮ Arrows for secure information flow ⋮ An abstract monadic semantics for value recursion ⋮ The Arrow Calculus as a Quantum Programming Language ⋮ Categorical semantics for arrows ⋮ Traced Premonoidal Categories ⋮ The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics ⋮ Quantum Arrows in Haskell
Uses Software
This page was built for publication: A new notation for arrows
