Semantics for Algebraic Operations (2001)

Cached

Download Links

by Gordon Plotkin , John Power
Venue:Proc. MFPS 17, Electronic Notes in Thoeret. Comp. Sci
Citations:10 - 3 self

Active Bibliography

54 Notions of Computation Determine Monads – Gordon Plotkin, John Power - 2002
32 Algebraic Operations and Generic Effects – Gordon Plotkin, John Power - 2003
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
30 Adequacy for algebraic effects – Gordon Plotkin, Matija Pretnar - 2001
26 Computational Effects and Operations: An Overview – Gordon Plotkin, John Power - 2004
10 Countable Lawvere Theories and Computational Effects – John Power - 2006
5 Generic Models for Computational Effects – John Power
12 The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads – Martin Hyland, John Power - 2007
12 The Structure of Call-by-Value – Carsten Führmann - 2000
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
55 Modular structural operational semantics – Peter D. Mosses - 2004
2 Axiomatics for Data Refinement in Call By Value Programming Languages – John Power, Miki Tanaka
2 Logic for Computational Effects: work in progress – Gordon Plotkin
4 Semantics for Local Computational Effects – John Power - 2006
2 Some Varieties of Equational Logic (Extended Abstract), Algebra – Gordon Plotkin - 2006
23 Composing Monads Using Coproducts – Christoph Lüth, Neil Ghani - 2002
12 A Convenient Category of Domains – Ingo Battenfeld, Matthias Schröder, Alex Simpson