Computational Effects and Operations: An Overview (2004)

Cached

Download Links

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

Documents Related by Co-Citation

730 Notions of Computation and Monads – Eugenio Moggi - 1991
30 Adequacy for algebraic effects – Gordon Plotkin, Matija Pretnar - 2001
439 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
90 Full Abstraction for a Simple Parallel Programming Language – M. C. B. Hennessy, G. D. Plotkin - 1979
32 Algebraic Operations and Generic Effects – Gordon Plotkin, John Power - 2003
461 Domain Theory – Samson Abramsky, Achim Jung - 1994
54 Notions of Computation Determine Monads – Gordon Plotkin, John Power - 2002
930 Categories for the Working Mathematician – S Mac Lane - 1971
381 BASIC CONCEPTS OF ENRICHED CATEGORY THEORY – G. M. Kelly - 2005
10 Countable Lawvere Theories and Computational Effects – John Power - 2006
188 Toposes, Triples and Theories – Michael Barr, Charles Wells - 2005
207 A new approach to abstract syntax with variable binding – Murdoch J. Gabbay, Andrew M. Pitts - 2002
137 Probabilistic Non-determinism – C Jones - 1990
17 Enriched lawvere theories,” Theory and Applications of Categories – J Power - 1999
25 Variations on Algebra: monadicity and generalisations of equational theories – Edmund Robinson - 2001
142 Abstract syntax and variable binding – M P Fiore, G D Plotkin, D Turi - 1999
15 Enriched Lawvere Theories – John Power
58 Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads, Journal of pure and applied algebra 89 – M Kelly, J Power - 1993
19 Combining Computational Effects: Commutativity and Sum – Martin Hyland, Gordon Plotkin, John Power - 2002