Notions of Computation Determine Monads (2002)

Cached

Download Links

by Gordon Plotkin , John Power
Venue:Proc. FOSSACS 2002, Lecture Notes in Computer Science 2303
Citations:54 - 7 self

Documents Related by Co-Citation

730 Notions of Computation and Monads – Eugenio Moggi - 1991
439 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
30 Adequacy for algebraic effects – Gordon Plotkin, Matija Pretnar - 2001
32 Algebraic Operations and Generic Effects – Gordon Plotkin, John Power - 2003
381 BASIC CONCEPTS OF ENRICHED CATEGORY THEORY – G. M. Kelly - 2005
26 Computational Effects and Operations: An Overview – Gordon Plotkin, John Power - 2004
930 Categories for the Working Mathematician – S Mac Lane - 1971
1312 Monads for functional programming – Philip Wadler - 1995
163 An abstract view of programming languages – E Moggi - 1989
188 Toposes, Triples and Theories – Michael Barr, Charles Wells - 2005
58 Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads, Journal of pure and applied algebra 89 – M Kelly, J Power - 1993
29 Combining effects: sum and tensor – Martin Hyland, Gordon Plotkin, John Power
10 Countable Lawvere Theories and Computational Effects – John Power - 2006
90 Full Abstraction for a Simple Parallel Programming Language – M. C. B. Hennessy, G. D. Plotkin - 1979
25 Nondeterminism and Probabilistic Choice: Obeying the Laws – Michael Mislove - 2000
210 A powerdomain construction – G. D. Plotkin - 1976
47 Monads and Effects – Nick Benton, John Hughes, Eugenio Moggi - 2000
19 Combining Computational Effects: Commutativity and Sum – Martin Hyland, Gordon Plotkin, John Power - 2002
15 Enriched Lawvere Theories – John Power