Composing Monads Using Coproducts (2002)

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

Active Bibliography

Abstract Composing Monads Using Coproducts – Christoph Lüth
32 Combining effects: sum and tensor – Martin Hyland, Gordon Plotkin, John Power
4 COPRODUCTS OF IDEAL MONADS – Neil Ghani, Tarmo Uustalu - 2004
12 Countable Lawvere Theories and Computational Effects – John Power - 2006
Presheaf models for the π-calculus – Ian Stark - 1997
766 Notions of Computation and Monads – Eugenio Moggi - 1991
1353 Monads for functional programming – Philip Wadler - 1995
19 Combining Computational Effects: Commutativity and Sum – Martin Hyland, Gordon Plotkin, John Power - 2002
Formal Software Development: From Foundations to Tools – Exposé Der Schriftlichen Habilitationsleistung, Christoph Lüth