Composing Monads Using Coproducts (2002)

by Christoph Lüth , Neil Ghani
Citations:23 - 2 self

Active Bibliography

29 Combining effects: sum and tensor – Martin Hyland, Gordon Plotkin, John Power
4 COPRODUCTS OF IDEAL MONADS – Neil Ghani, Tarmo Uustalu - 2004
10 Countable Lawvere Theories and Computational Effects – John Power - 2006
Presheaf models for the π-calculus – Ian Stark - 1997
19 Combining Computational Effects: Commutativity and Sum – Martin Hyland, Gordon Plotkin, John Power - 2002
7 Monads and Modularity – Christoph Lüth, Neil Ghani
26 Computational Effects and Operations: An Overview – Gordon Plotkin, John Power - 2004
2 Monad Transformers as Monoid Transformers – Mauro Jaskelioff
1 Abstract Modularity – Michael Abbott, Neil Ghani, Christoph Lüth - 2005
5 Generic Models for Computational Effects – John Power
12 The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads – Martin Hyland, John Power - 2007
730 Notions of Computation and Monads – Eugenio Moggi - 1991
Modular Monadic Semantics – Sheng Liang, Paul Hudak
35 Semantic Lego – David Espinosa - 1995
70 Functional Programming with Overloading and Higher-Order Polymorphism – Mark P. Jones - 1995
1 Finitary construction of free algebras for equational systems – Marcelo Fiore, Chung-kil Hur - 2008
1 Equational Systems and Free Constructions (Extended Abstract) – Marcelo Fiore, Chung-kil Hur
6 Algebras, Coalgebras, Monads and Comonads – Neil Ghani, Christoph Lüth, Federico De Marchi, John Power - 2001
1 Dualizing Initial Algebras – Neil Ghani, Christoph Lüth, Federico de Marchi, John Power - 2002