Documents Related by Co-Citation

730 Notions of Computation and Monads – Eugenio Moggi - 1991
381 BASIC CONCEPTS OF ENRICHED CATEGORY THEORY – G. M. Kelly - 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
439 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
30 Adequacy for algebraic effects – Gordon Plotkin, Matija Pretnar - 2001
163 An abstract view of programming languages – E Moggi - 1989
7 Semantics for Algebraic Operations (extended abstract – G D Plotkin, A J Power - 2001
26 Computational Effects and Operations: An Overview – Gordon Plotkin, John Power - 2004
54 Notions of Computation Determine Monads – Gordon Plotkin, John Power - 2002
19 Combining Computational Effects: Commutativity and Sum – Martin Hyland, Gordon Plotkin, John Power - 2002
210 A powerdomain construction – G. D. Plotkin - 1976
137 Probabilistic Non-determinism – C Jones - 1990
126 A probabilistic powerdomain of evaluations – C Jones, G D Plotkin - 1989
31 Structures defined by finite limits in the enriched context 1,” Cahiers de Topologie et Géométrie Différentielle – G M Kelly - 1980
930 Categories for the Working Mathematician – S Mac Lane - 1971
90 Full Abstraction for a Simple Parallel Programming Language – M. C. B. Hennessy, G. D. Plotkin - 1979
22 Probabilistic Domains – Reinhold Heckmann - 1997
73 Two dimensional monad theory – H Blackwell, M Kelly, A J Power - 1989
15 A representable approach to finite nondeterminism – S O Anderson, A J Power - 1997