Informatics Report Series



Related Pages

Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index

Title:Notions of Computation Determine Monads
Authors: Gordon Plotkin ; John Power
Date: 2002
Publication Title:Proceedings of FoSSaCS 2002 (Foundations of Software Science and Computation Structure)
Publication Type:Conference Paper Publication Status:Published
Volume No:2303 Page Nos:373-393
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.
Links To Paper
1st Link
Bibtex format
author = { Gordon Plotkin and John Power },
title = {Notions of Computation Determine Monads},
book title = {Proceedings of FoSSaCS 2002 (Foundations of Software Science and Computation Structure)},
publisher = {Springer},
year = 2002,
volume = {2303},
pages = {373-393},
url = {},

Home : Publications : Report 

Please mail <> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh