COPRODUCTS OF IDEAL MONADS (2004)

by Neil Ghani , Tarmo Uustalu
Citations:4 - 1 self

Active Bibliography

23 Composing Monads Using Coproducts – Christoph Lüth, Neil Ghani - 2002
29 Combining effects: sum and tensor – Martin Hyland, Gordon Plotkin, John Power
10 Countable Lawvere Theories and Computational Effects – John Power - 2006
Monad Combinators, Non-Determinism and Probabilistic Choice [Extended abstract] – Neil Ghani, Tarmo Uustalu
7 Monads and Modularity – Christoph Lüth, Neil Ghani
Languages, Theory – Neil Ghani, Tarmo Uustalu
19 Combining Computational Effects: Commutativity and Sum – Martin Hyland, Gordon Plotkin, John Power - 2002
12 The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads – Martin Hyland, John Power - 2007
26 Computational Effects and Operations: An Overview – Gordon Plotkin, John Power - 2004
1 Abstract Modularity – Michael Abbott, Neil Ghani, Christoph Lüth - 2005
Presheaf models for the π-calculus – Ian Stark - 1997
32 Algebraic Operations and Generic Effects – Gordon Plotkin, John Power - 2003
30 Adequacy for algebraic effects – Gordon Plotkin, Matija Pretnar - 2001
4 Generalizing Substitution – Tarmo Uustalu - 2003
6 Continuous Previsions ⋆ – Jean Goubault-larrecq
9 A Logic for Probabilities in Semantics – M. Andrew Moshier, Achim Jung - 2003
18 Semantic Domains for Combining Probability and Non-Determinism – Regina Tix, Klaus Keimel, Gordon Plotkin - 2005
7 MONADS OF EFFECTIVE DESCENT TYPE AND COMONADICITY – Bachuki Mesablishvili
Similarities Between Powersets of Terms – P. Eklund, M.A. Galan, J. Medina, M. Ojeda-Aciego, A. Valverde