Generic Models for Computational Effects

Cached

Download Links

by John Power
Citations:5 - 1 self

Active Bibliography

8 Countable Lawvere Theories and Computational Effects – John Power - 2006
6 Combining algebraic effects with continuations – Martin Hyland, Paul Blain Levy , Gordon Plotkin , John Power - 2007
6 The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads – Martin Hyland, John Power - 2007
6 Handlers of Algebraic Effects – Gordon Plotkin, Matija Pretnar
23 Combining effects: sum and tensor – Martin Hyland, Gordon Plotkin, John Power
29 Adequacy for algebraic effects – Gordon Plotkin, Matija Pretnar - 2001
26 Algebraic Operations and Generic Effects – Gordon Plotkin, John Power - 2003
2 Axiomatics for Data Refinement in Call By Value Programming Languages – John Power, Miki Tanaka
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
22 Computational Effects and Operations: An Overview – Gordon Plotkin, John Power - 2004
3 Monads and Adjunctions for Global Exceptions – Paul Blain Levy - 2006
Linearly-used state in models of call-by-value – Rasmus Ejlers Møgelberg, Sam Staton
9 Semantics for Algebraic Operations – Gordon Plotkin, John Power - 2001
4 Semantics for Local Computational Effects – John Power - 2006
18 Combining Computational Effects: Commutativity and Sum – Martin Hyland, Gordon Plotkin, John Power - 2002
61 Models of Sharing Graphs: A Categorical Semantics of let and letrec – Masahito Hasegawa - 1997