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.
CITATION STYLE
Plotkin, G., & Power, J. (2002). Notions of computation determine monads. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2303, pp. 342–356). Springer Verlag. https://doi.org/10.1007/3-540-45931-6_24
Mendeley helps you to discover research relevant for your work.