Combining Computational Effects: Commutativity and Sum (2002)

by Martin Hyland , Gordon Plotkin , John Power
Citations:19 - 4 self

Documents Related by Co-Citation

439 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
163 An abstract view of programming languages – E Moggi - 1989
54 Notions of Computation Determine Monads – Gordon Plotkin, John Power - 2002
730 Notions of Computation and Monads – Eugenio Moggi - 1991
42 Toposes, Triples, and Theories. Grundlehren der mathematischen Wissenschaften – Michael Barr, Charles F Wells - 1985
381 BASIC CONCEPTS OF ENRICHED CATEGORY THEORY – G. M. Kelly - 2005
68 Composing Monads – Mark P. Jones, Luc Duponcheel - 1993
142 Abstract syntax and variable binding – M P Fiore, G D Plotkin, D Turi - 1999
58 Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads, Journal of pure and applied algebra 89 – M Kelly, J Power - 1993
20 Monads and Modular Term Rewriting – Christoph Lüth, Neil Ghani - 1997
196 Locally Presentable and Accessible Categories – Adámek, Rosicky - 1994
30 Adequacy for algebraic effects – Gordon Plotkin, Matija Pretnar - 2001
45 A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so – G M Kelly
15 Enriched Lawvere Theories – John Power
456 Comprehending Monads – Philip Wadler - 1992
126 A probabilistic powerdomain of evaluations – C Jones, G D Plotkin - 1989
7 Monads and Modularity – Christoph Lüth, Neil Ghani
26 Computational Effects and Operations: An Overview – Gordon Plotkin, John Power - 2004
930 Categories for the Working Mathematician – S Mac Lane - 1971