Combining algebraic effects with continuations (2007)

by Martin Hyland , Paul Blain Levy , Gordon Plotkin , John Power
Citations:8 - 3 self

Documents Related by Co-Citation

730 Notions of Computation and Monads – Eugenio Moggi - 1991
10 Countable Lawvere Theories and Computational Effects – John Power - 2006
439 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
54 Notions of Computation Determine Monads – Gordon Plotkin, John Power - 2002
29 Combining effects: sum and tensor – Martin Hyland, Gordon Plotkin, John Power
26 Computational Effects and Operations: An Overview – Gordon Plotkin, John Power - 2004
32 Algebraic Operations and Generic Effects – Gordon Plotkin, John Power - 2003
495 Algebraic laws for nondeterminism and concurrency – Matthew Hennessy, Robin Milner - 1985
47 Monads and Effects – Nick Benton, John Hughes, Eugenio Moggi - 2000
30 Adequacy for algebraic effects – Gordon Plotkin, Matija Pretnar - 2001
31 Structures defined by finite limits in the enriched context 1,” Cahiers de Topologie et Géométrie Différentielle – G M Kelly - 1980
8 Call-By-Push-Value: Decomposing Call-By-Value And Call-By-Name – Paul Blain Levy
6 Monads and Adjunctions for Global Exceptions – Paul Blain Levy - 2006
269 The Essence of Compiling with Continuations – Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen - 1993
20 Exceptional syntax – N Benton, A Kennedy
32 Yoneda structures on 2categories – R Street, R F C Walters - 1978
163 An abstract view of programming languages – E Moggi - 1989
126 A probabilistic powerdomain of evaluations – C Jones, G D Plotkin - 1989
381 BASIC CONCEPTS OF ENRICHED CATEGORY THEORY – G. M. Kelly - 2005