Composing monads using coproducts

DOI10.1145/581478.581492zbMath1322.68043OpenAlexW2102459565MaRDI QIDQ2949200

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

Functional programming and lambda calculus (68N18) 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)

Related Items (9)

Explicit substitutions and higher-order syntax ⋮ Combining algebraic effects with continuations ⋮ Notions of Bidirectional Computation and Entangled State Monads ⋮ Monad transformers as monoid transformers ⋮ Unnamed Item ⋮ Interleaving data and effects ⋮ Modularity and Implementation of Mathematical Operational Semantics ⋮ Building Verification Condition Generators by Compositional Extension ⋮ A categorical framework for learning generalised tree automata

This page was built for publication: Composing monads using coproducts