Generic Models for Computational Effects

Cached

Download Links

by John Power
Citations:5 - 1 self

Active Bibliography

10 Countable Lawvere Theories and Computational Effects – John Power - 2006
8 Combining algebraic effects with continuations – Martin Hyland, Paul Blain Levy , Gordon Plotkin , John Power - 2007
12 The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads – Martin Hyland, John Power - 2007
13 Handlers of Algebraic Effects – Gordon Plotkin, Matija Pretnar
29 Combining effects: sum and tensor – Martin Hyland, Gordon Plotkin, John Power
30 Adequacy for algebraic effects – Gordon Plotkin, Matija Pretnar - 2001
2 Axiomatics for Data Refinement in Call By Value Programming Languages – John Power, Miki Tanaka
32 Algebraic Operations and Generic Effects – Gordon Plotkin, John Power - 2003
Presheaf models for the π-calculus – Ian Stark - 1997
2 Some Varieties of Equational Logic (Extended Abstract), Algebra – Gordon Plotkin - 2006
MFPS 25 Preliminary Proceedings Two cotensors in one: Presentations of algebraic theories for local state and fresh names – Sam Staton
2 Logic for Computational Effects: work in progress – Gordon Plotkin
26 Computational Effects and Operations: An Overview – Gordon Plotkin, John Power - 2004
6 Monads and Adjunctions for Global Exceptions – Paul Blain Levy - 2006
10 Semantics for Algebraic Operations – Gordon Plotkin, John Power - 2001
5 Linearly-used state in models of call-by-value – Rasmus Ejlers Møgelberg, Sam Staton
4 Semantics for Local Computational Effects – John Power - 2006
19 Combining Computational Effects: Commutativity and Sum – Martin Hyland, Gordon Plotkin, John Power - 2002
62 Models of Sharing Graphs: A Categorical Semantics of let and letrec – Masahito Hasegawa - 1997