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