Adequacy for algebraic effects (2001)

by Gordon Plotkin , Matija Pretnar
Venue:In 4th FoSSaCS
Citations:30 - 16 self

Active Bibliography

19 Combining Computational Effects: Commutativity and Sum – Martin Hyland, Gordon Plotkin, John Power - 2002
29 Combining effects: sum and tensor – Martin Hyland, Gordon Plotkin, John Power
54 Notions of Computation Determine Monads – Gordon Plotkin, John Power - 2002
10 Semantics for Algebraic Operations – Gordon Plotkin, John Power - 2001
26 Computational Effects and Operations: An Overview – Gordon Plotkin, John Power - 2004
32 Algebraic Operations and Generic Effects – Gordon Plotkin, John Power - 2003
10 Countable Lawvere Theories and Computational Effects – John Power - 2006
12 A Convenient Category of Domains – Ingo Battenfeld, Matthias Schröder, Alex Simpson
Semantics of Binary Choice Constructs – Reinhold Heckmann, Dr. Reinhold Heckmann, Probabilistic Power Domains, Information Systems
1 Theory for Software Verification – David A. Naumann - 2009
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
45 Presheaf Models for Concurrency – Gian Luca Cattani - 1999
13 Handlers of Algebraic Effects – Gordon Plotkin, Matija Pretnar
12 The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads – Martin Hyland, John Power - 2007
23 Domain theory for concurrency – Mikkel Nygaard - 2003
6 Metric semantics for reactive probabilistic processes – Gethin Josiah Norman - 1997
6 Achieving information flow security through monadic control of effects – William L. Harrison, James Hook - 2009
228 Domain Theory in Logical Form – Samson Abramsky - 1991
Process Logic and Duality -- Part I: Sequential Processes – Kohei Honda