Computational Effects and Operations: An Overview (2004)

Cached

Download Links

by Gordon Plotkin , John Power
Citations:26 - 8 self

Active Bibliography

29 Combining effects: sum and tensor – Martin Hyland, Gordon Plotkin, John Power
19 Combining Computational Effects: Commutativity and Sum – Martin Hyland, Gordon Plotkin, John Power - 2002
30 Adequacy for algebraic effects – Gordon Plotkin, Matija Pretnar - 2001
10 Semantics for Algebraic Operations – Gordon Plotkin, John Power - 2001
54 Notions of Computation Determine Monads – Gordon Plotkin, John Power - 2002
32 Algebraic Operations and Generic Effects – Gordon Plotkin, John Power - 2003
10 Countable Lawvere Theories and Computational Effects – John Power - 2006
12 The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads – Martin Hyland, John Power - 2007
5 Generic Models for Computational Effects – John Power
23 Composing Monads Using Coproducts – Christoph Lüth, Neil Ghani - 2002
4 COPRODUCTS OF IDEAL MONADS – Neil Ghani, Tarmo Uustalu - 2004
8 Combining algebraic effects with continuations – Martin Hyland, Paul Blain Levy , Gordon Plotkin , John Power - 2007
Semantics of Binary Choice Constructs – Reinhold Heckmann, Dr. Reinhold Heckmann, Probabilistic Power Domains, Information Systems
6 Achieving information flow security through monadic control of effects – William L. Harrison, James Hook - 2009
2 Proof Abstraction for Imperative Languages – William L. Harrison - 2003
4 Semantics for Local Computational Effects – John Power - 2006
18 Semantic Domains for Combining Probability and Non-Determinism – Regina Tix, Klaus Keimel, Gordon Plotkin - 2005
2 Logic for Computational Effects: work in progress – Gordon Plotkin
14 Characterising testing preorders for finite probabilistic processes – Yuxin Deng, Rob Van Glabbeek