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

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

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)

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

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)