Combining effects: sum and tensor

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

Active Bibliography

19 Combining Computational Effects: Commutativity and Sum – Martin Hyland, Gordon Plotkin, John Power - 2002
10 Countable Lawvere Theories and Computational Effects – John Power - 2006
54 Notions of Computation Determine Monads – Gordon Plotkin, John Power - 2002
26 Computational Effects and Operations: An Overview – Gordon Plotkin, John Power - 2004
30 Adequacy for algebraic effects – Gordon Plotkin, Matija Pretnar - 2001
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
45 Presheaf Models for Concurrency – Gian Luca Cattani - 1999
10 Semantics for Algebraic Operations – Gordon Plotkin, John Power - 2001
32 Algebraic Operations and Generic Effects – Gordon Plotkin, John Power - 2003
1 An algebraic view of program composition – Pietro Cenciarelli - 1998
6 Achieving information flow security through monadic control of effects – William L. Harrison, James Hook - 2009
3 Power Domains Supporting Recursion and Failure – Reinhold Heckmann, Bundesrepublik Deutschland - 1998
35 Semantic Lego – David Espinosa - 1995
12 The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads – Martin Hyland, John Power - 2007
4 COPRODUCTS OF IDEAL MONADS – Neil Ghani, Tarmo Uustalu - 2004
29 Domains and Denotational Semantics: History, Accomplishments and Open Problems – Marcelo Fiore, Achim Jung, Eugenio Moggi, Peter O'Hearn, Jon Riecke, Giuseppe Rosolini, Ian Stark - 1996
Presheaf models for the π-calculus – Ian Stark - 1997
12 Monads for Natural Language Semantics – Chung-Chieh Shan