|
Edinburgh Research Archive >
Informatics, School of >
Informatics Publications >
Please use this identifier to cite or link to this item:
http://hdl.handle.net/1842/196
|
| Title: | Notions of Computation Determine Monads |
| Authors: | Plotkin, Gordon
Power, John |
| Issue Date: | 2002 |
| Citation: | FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, PROCEEDINGS LECTURE NOTES IN COMPUTER SCIENCE 2303: 342-356 2002 |
| Publisher: | SPRINGER-VERLAG |
| Abstract: | We model notions of computation using algebraic operations
and equations. We show that these generate several of the monads of pri-
mary interest that have been used to model computational e ects, 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 com-
putational relationship. |
| Keywords: | Laboratory for Foundations of Computer Science |
| URI: | http://hdl.handle.net/1842/196 |
| ISSN: | 0302-9743 |
| Appears in Collections: | Informatics Publications
|
Items in ERA are protected by copyright, with all rights reserved, unless otherwise indicated.
|
