Adequacy for algebraic effects (2001)

by Gordon Plotkin , Matija Pretnar
Venue:In 4th FoSSaCS
Citations:30 - 16 self

Documents Related by Co-Citation

439 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
730 Notions of Computation and Monads – Eugenio Moggi - 1991
381 BASIC CONCEPTS OF ENRICHED CATEGORY THEORY – G. M. Kelly - 2005
26 Computational Effects and Operations: An Overview – Gordon Plotkin, John Power - 2004
163 An abstract view of programming languages – E Moggi - 1989
54 Notions of Computation Determine Monads – Gordon Plotkin, John Power - 2002
32 Algebraic Operations and Generic Effects – Gordon Plotkin, John Power - 2003
15 Enriched Lawvere Theories – John Power
210 A powerdomain construction – G. D. Plotkin - 1976
126 A probabilistic powerdomain of evaluations – C Jones, G D Plotkin - 1989
7 Semantics for Algebraic Operations (extended abstract – G D Plotkin, A J Power - 2001
930 Categories for the Working Mathematician – S Mac Lane - 1971
137 Probabilistic Non-determinism – C Jones - 1990
90 Full Abstraction for a Simple Parallel Programming Language – M. C. B. Hennessy, G. D. Plotkin - 1979
15 Call-By-Push-Value: A Subsuming Paradigm – Paul Blain Levy - 1999
10 Countable Lawvere Theories and Computational Effects – John Power - 2006
19 Combining Computational Effects: Commutativity and Sum – Martin Hyland, Gordon Plotkin, John Power - 2002
29 Call-by-Push-Value. A Functional/Imperative Synthesis – P B Levy - 2004
31 Structures defined by finite limits in the enriched context 1,” Cahiers de Topologie et Géométrie Différentielle – G M Kelly - 1980