Generalising monads to arrows
From MaRDI portal
Recommendations
Cited in
(51)- Monad transformers as monoid transformers
- Arrows, like monads, are monoids
- scientific article; zbMATH DE number 7447764 (Why is no real title available?)
- 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
- Comonadic notions of computation
- Combinator Parsing: A Short Tutorial
- Categorifying computations into components via arrows as profunctors
- Commutative semantics for probabilistic programming
- Implementation and use of the PLT scheme web server
- ``Keep definition, change category -- a practical approach to state-based system calculi
- Causal commutative arrows and their optimization
- Reversible effects as inverse arrows
- scientific article; zbMATH DE number 2112364 (Why is no real title available?)
- Commutativity
- On structuring functional programs with monoidal profunctors
- Applicative programming with effects
- A Groupoid of Isomorphic Data Transformations
- The arrow calculus
- Lewisian fixed points. I: Two incomparable constructions
- Semantic Foundations for Deterministic Dataflow and Stream Processing
- Implication via spacetime
- Finally tagless observable recursion for an abstract grammar model
- A new notation for arrows
- What is a categorical model of arrows?
- Build systems à la carte: theory and practice
- EditorArrow: An arrow-based model for editor-based programming
- Modelling parallel quantum computing using transactional memory
- Quantum circuits: from a network to a one-way model
- Coalgebraic components in a many-sorted microcosm
- The Arrow Calculus as a Quantum Programming Language
- Notions of computation as monoids
- scientific article; zbMATH DE number 1728239 (Why is no real title available?)
- Lewis meets Brouwer: constructive strict implication
- Fault-tolerant functional reactive programming (extended version)
- Quotienting the delay monad by weak bisimilarity
- Idioms are oblivious, arrows are meticulous, monads are promiscuous
- Traces for coalgebraic components
- Causal commutative arrows
- Traced Premonoidal Categories
- Flexible dynamic information flow control in the presence of exceptions
- Quantum arrows in Haskell
- Compositional game theory, compositionally
- Type-safe quantum programming in Idris
- An Introduction to iTasks: Defining Interactive Work Flows for the Web
- Categorical semantics for arrows
- Cartesian effect categories are Freyd-categories
- Free applicative functors
- An abstract monadic semantics for value recursion
This page was built for publication: Generalising monads to arrows
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1566910)
