Composing monads using coproducts

DOI10.1145/581478.581492MaRDI QIDQ2949200zbMATH OpenOpenAlexFDO

Authors Christoph Lüth, Neil Ghani

Publication date 7 October 2015

Published in Proceedings of the seventh ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/581478.581492

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Functional programming and lambda calculus (68N18)

Recommendations

• Combining a monad and a comonad
• Composing Partially Ordered Monads
• Coalgebraic monads
• A graphical approach to monad compositions
• Monad compositions. I: General constructions and recursive distributive laws
• Monads and tensor products
• Monads on composition graphs
• scientific article; zbMATH DE number 2068087
• scientific article; zbMATH DE number 2086588
• Coproducts of monads on Set

Cited in

(17)

• scientific article; zbMATH DE number 2086588 (Why is no real title available?)
• Monad transformers as monoid transformers
• Monads, zippers and views: virtualizing the monad stack
• Monadic combination using co limits and folds
• A categorical framework for learning generalised tree automata
• Notions of bidirectional computation and entangled state monads
• Layer by layer -- combining monads
• Explicit substitutions and higher-order syntax
• Combining algebraic effects with continuations
• A semantics for hybrid iteration
• Interleaving data and effects
• Programming monads operationally with Unimo
• When two monads can be composed using co-products?
• Building verification condition generators by compositional extension
• Modularity and implementation of mathematical operational semantics
• Coproducts of Ideal Monads
• The constrained-monad problem

This page was built for publication: Composing monads using coproducts

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2949200)