Combining Computational Effects: Commutativity and Sum (2002)

by Martin Hyland , Gordon Plotkin , John Power
Citations:19 - 4 self

Active Bibliography

10 Countable Lawvere Theories and Computational Effects – John Power - 2006
29 Combining effects: sum and tensor – Martin Hyland, Gordon Plotkin, John Power
54 Notions of Computation Determine Monads – Gordon Plotkin, John Power - 2002
26 Computational Effects and Operations: An Overview – Gordon Plotkin, John Power - 2004
32 Algebraic Operations and Generic Effects – Gordon Plotkin, John Power - 2003
30 Adequacy for algebraic effects – Gordon Plotkin, Matija Pretnar - 2001
10 Semantics for Algebraic Operations – Gordon Plotkin, John Power - 2001
12 The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads – Martin Hyland, John Power - 2007
23 Composing Monads Using Coproducts – Christoph Lüth, Neil Ghani - 2002
Semantics of Binary Choice Constructs – Reinhold Heckmann, Dr. Reinhold Heckmann, Probabilistic Power Domains, Information Systems
Presheaf models for the π-calculus – Ian Stark - 1997
5 Generic Models for Computational Effects – John Power
13 A Convenient Category of Domains – Ingo Battenfeld, Matthias Schröder, Alex Simpson
4 COPRODUCTS OF IDEAL MONADS – Neil Ghani, Tarmo Uustalu - 2004
2 Some Varieties of Equational Logic (Extended Abstract), Algebra – Gordon Plotkin - 2006
MFPS 25 Preliminary Proceedings Two cotensors in one: Presentations of algebraic theories for local state and fresh names – Sam Staton
8 Combining algebraic effects with continuations – Martin Hyland, Paul Blain Levy , Gordon Plotkin , John Power - 2007
2 Monad Transformers as Monoid Transformers – Mauro Jaskelioff
35 Semantic Lego – David Espinosa - 1995