Monads and Adjunctions for Global Exceptions (2006)

Cached


by Paul Blain Levy
Citations:6 - 1 self

Active Bibliography

3 Handlers in Action – Ohad Kammar, Sam Lindley, Nicolas Oury
8 Combining algebraic effects with continuations – Martin Hyland, Paul Blain Levy , Gordon Plotkin , John Power - 2007
5 Generic Models for Computational Effects – John Power
8 Call-By-Push-Value: Decomposing Call-By-Value And Call-By-Name – Paul Blain Levy
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
Concurrent Programming—Parallel programming – Martín Abadi
Languages, Theory – Martín Abadi, Gordon Plotkin
6 Algebraic foundations for effectdependent optimisations – Ohad Kammar, Gordon D. Plotkin - 2012
MFPS 29 Preliminary Proceedings Normalization by evaluation and algebraic effects – Danel Ahman, Sam Staton
7 A Generic Operational Metatheory for Algebraic Effects ∗ – Patricia Johann, Alex Simpson, Janis Voigtländer
8 Enriching an Effect Calculus with Linear Types – Jeff Egger, Rasmus Ejlers Møgelberg, Alex Simpson
1 LINEAR-USE CPS TRANSLATIONS IN THE ENRICHED EFFECT CALCULUS – Jeff Egger, Rasmus Ejlers Møgelberg, Alex Simpson
LINEAR-USE CPS TRANSLATIONS IN THE ENRICHED EFFECT CALCULUS ∗ – Jeff Egger A, Rasmus Ejlers Møgelberg B, Alex Simpson C - 2012
10 Countable Lawvere Theories and Computational Effects – John Power - 2006
19 Combining Computational Effects: Commutativity and Sum – Martin Hyland, Gordon Plotkin, John Power - 2002
30 Adequacy for algebraic effects – Gordon Plotkin, Matija Pretnar - 2001
2 Some Varieties of Equational Logic (Extended Abstract), Algebra – Gordon Plotkin - 2006
29 Combining effects: sum and tensor – Martin Hyland, Gordon Plotkin, John Power