Computational Effects and Operations: An Overview (2004)

by Gordon Plotkin , John Power
Citations:34 - 8 self

Documents Related by Co-Citation

766 Notions of Computation and Monads – Eugenio Moggi - 1991
457 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
481 Domain Theory – Samson Abramsky, Achim Jung - 1994
33 Adequacy for algebraic effects – Gordon Plotkin, Matija Pretnar - 2001
393 BASIC CONCEPTS OF ENRICHED CATEGORY THEORY – G. M. Kelly - 2005
986 Categories for the Working Mathematician – Saunders Mac Lane - 1971
94 Full Abstraction for a Simple Parallel Programming Language – M. C. B. Hennessy, G. D. Plotkin - 1979
56 Notions of Computation Determine Monads – Gordon Plotkin, John Power - 2002
34 Algebraic Operations and Generic Effects – Gordon Plotkin, John Power - 2003