Notions of Computation Determine Monads Export

@inproceedings{citeulike:378242, abstract = {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 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 computational relationship.}, author = {Plotkin, Gordon D. and Power, John}, booktitle = {Foundations of Software Science and Computation Structure}, citeulike-article-id = {378242}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.58.8004}, keywords = {effects, lawvere-theories, monads}, pages = {342--356}, posted-at = {2005-11-02 16:40:35}, priority = {2}, title = {Notions of Computation Determine Monads}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.58.8004}, year = {2002} }

TY - CONF ID - citeulike:378242 L3 - citeulike-article-id:378242 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 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 computational relationship. EP - 356 TI - Notions of Computation Determine Monads T2 - Foundations of Software Science and Computation Structure SP - 342 KW - effects KW - lawvere-theories KW - monads AU - Plotkin, Gordon AU - Power, John PY - 2002/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.58.8004 ER -