Generalising monads to arrows

Related Items (42)

Semantics of value recursion for Monadic Input/Output ⋮ Coalgebraic Components in a Many-Sorted Microcosm ⋮ Semantic Foundations for Deterministic Dataflow and Stream Processing ⋮ Reversible effects as inverse arrows ⋮ ``Keep definition, change category -- a practical approach to state-based system calculi ⋮ EditorArrow: An arrow-based model for editor-based programming ⋮ Finally tagless observable recursion for an abstract grammar model ⋮ Categorifying Computations into Components via Arrows as Profunctors ⋮ Quotienting the delay monad by weak bisimilarity ⋮ Implication via spacetime ⋮ Monad transformers as monoid transformers ⋮ Compositional Game Theory, Compositionally ⋮ Lewis meets Brouwer: constructive strict implication ⋮ Commutativity ⋮ Build systems à la carte: Theory and practice ⋮ Promonads and String Diagrams for Effectful Categories ⋮ Cartesian effect categories are Freyd-categories ⋮ Fault-tolerant functional reactive programming (extended version) ⋮ Flexible dynamic information flow control in the presence of exceptions ⋮ Unnamed Item ⋮ On the semantics of parsing actions ⋮ Notions of computation as monoids ⋮ Commutative Semantics for Probabilistic Programming ⋮ Traces for coalgebraic components ⋮ Implementation and use of the PLT scheme web server ⋮ What is a Categorical Model of Arrows? ⋮ Idioms are Oblivious, Arrows are Meticulous, Monads are Promiscuous ⋮ Causal commutative arrows ⋮ Arrows for secure information flow ⋮ An abstract monadic semantics for value recursion ⋮ Applicative programming with effects ⋮ The arrow calculus ⋮ An Introduction to iTasks: Defining Interactive Work Flows for the Web ⋮ Combinator Parsing: A Short Tutorial ⋮ A Groupoid of Isomorphic Data Transformations ⋮ The Arrow Calculus as a Quantum Programming Language ⋮ Categorical semantics for arrows ⋮ Modelling Parallel Quantum Computing Using Transactional Memory ⋮ Quantum Circuits: From a Network to a One-Way Model ⋮ Traced Premonoidal Categories ⋮ Quantum Arrows in Haskell ⋮ Comonadic Notions of Computation

This page was built for publication: Generalising monads to arrows