Notions of computation determine monads
Plotkin, G. and Power, J., 2002. Notions of computation determine monads. Berlin: Springer, pp. 342-356. (Lecture Notes in Computer Science)
Related documents:This repository does not currently have the full-text of this item.
You may be able to access a copy if URLs are provided below.
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.
|Item Type||Conference or Workshop Items (UNSPECIFIED)|
|Creators||Plotkin, G.and Power, J.|
|Departments||Faculty of Science > Computer Science|
|Additional Information||Grenoble 2002|
Actions (login required)