Output details
11 - Computer Science and Informatics
University of Birmingham
Output title
Coproducts of Monads on Set
Type
E - Conference contribution
Name of conference/published proceedings
2012 27th Annual IEEE Symposium on Logic in Computer Science (LICS 2012)
Volume number
-
Issue number
-
First page of article
45
ISSN of proceedings
-
Year of publication
2012
Number of additional authors
3
Additional information
<10>This paper appeared in LICS, the premier conference in logic in computer science. It gives a general formula for monad coproducts on the category of sets, and exploits it to show injectivity of embeddings and explain the special status of exception monads. It brings together and generalizes two lines of work: conservativity of joins of theories in universal algebra, and monad coproducts in denotational semantics and functional programming. In the latter area, the (not yet published) paper "Interleaving data and effects" by Atkey, Johann, Ghani and Jacobs cites it as settling the monad coproduct question for the category of sets.
Interdisciplinary
-
Cross-referral requested
-
Research group
G - Theory of Computation
Citation count
0
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
