Composing monads using coproducts

by Christoph Lüth , Neil Ghani
Venue:ACM SIGPLAN Notices
Citations:24 - 2 self

Active Bibliography

Abstract Composing Monads Using Coproducts – Christoph Lüth
41 Combining effects: sum and tensor – Martin Hyland, Gordon Plotkin, John Power
4 COPRODUCTS OF IDEAL MONADS – Neil Ghani, Tarmo Uustalu - 2004
16 Countable Lawvere Theories and Computational Effects – John Power - 2006
Presheaf models for the π-calculus – Ian Stark - 1997
813 Notions of Computation and Monads – Eugenio Moggi - 1991
1436 Monads for functional programming – Philip Wadler - 1995
19 Combining Computational Effects: Commutativity and Sum – Martin Hyland, Gordon Plotkin, John Power - 2002
505 Comprehending Monads – Philip Wadler - 1992