|
23
|
Combining effects: sum and tensor
– Martin Hyland, Gordon Plotkin, John Power
|
|
18
|
Combining Computational Effects: Commutativity and Sum
– Martin Hyland, Gordon Plotkin, John Power
- 2002
|
|
29
|
Adequacy for algebraic effects
– Gordon Plotkin, Matija Pretnar
- 2001
|
|
9
|
Semantics for Algebraic Operations
– Gordon Plotkin, John Power
- 2001
|
|
43
|
Notions of Computation Determine Monads
– Gordon Plotkin, John Power
- 2002
|
|
26
|
Algebraic Operations and Generic Effects
– Gordon Plotkin, John Power
- 2003
|
|
8
|
Countable Lawvere Theories and Computational Effects
– John Power
- 2006
|
|
6
|
The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads
– Martin Hyland, John Power
- 2007
|
|
5
|
Generic Models for Computational Effects
– John Power
|
|
21
|
Composing Monads Using Coproducts
– Christoph Lüth, Neil Ghani
- 2002
|
|
2
|
COPRODUCTS OF IDEAL MONADS
– Neil Ghani, Tarmo Uustalu
- 2004
|
|
6
|
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
|
|
4
|
Achieving information flow security through monadic control of effects. Invited submission to
– William L. Harrison, James Hook
|
|
2
|
Proof Abstraction for Imperative Languages
– William L. Harrison
- 2003
|
|
4
|
Semantics for Local Computational Effects
– John Power
- 2006
|
|
12
|
Semantic Domains for Combining Probability and Non-Determinism
– Regina Tix, Klaus Keimel, Gordon Plotkin
- 2005
|
|
10
|
Characterising testing preorders for finite probabilistic processes
– Yuxin Deng, Rob Van Glabbeek
|
|
|
CHARACTERISING TESTING PREORDERS FOR FINITE PROBABILISTIC PROCESSES ∗
– Yuxin Deng A, Rob Van Glabbeek B, Matthew Hennessy C, Carroll Morgan D
- 2008
|
