TY - CHAP
T1 - Notions of computation determine monads
AU - Plotkin, Gordon
AU - Power, John
N1 - Grenoble 2002
PY - 2002
Y1 - 2002
N2 - We model notions of computation using algebraic operations and equations. We show that these generate several of the monads of primary interest that have been used to model computational effects, with the striking omission of the continuations monad. We focus on semantics for global and local state, showing that taking operations and equations as primitive yields a mathematical relationship that reflects their computational relationship.
AB - We model notions of computation using algebraic operations and equations. We show that these generate several of the monads of primary interest that have been used to model computational effects, with the striking omission of the continuations monad. We focus on semantics for global and local state, showing that taking operations and equations as primitive yields a mathematical relationship that reflects their computational relationship.
UR - http://dx.doi.org/10.1007/3-540-45931-6_24
UR - https://www.scopus.com/pages/publications/84948987061
U2 - 10.1007/3-540-45931-6_24
DO - 10.1007/3-540-45931-6_24
M3 - Book chapter
VL - 2303
T3 - Lecture Notes in Computer Science
SP - 342
EP - 356
BT - Foundations of Software Science and Computation Structures 5th International Conference, FOSSACS 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings
PB - Springer
CY - Berlin
ER -