Computational Effects and Operations: An Overview Export

@misc{citeulike:346603, abstract = {We overview a programme to provide a unified semantics for computational e\#ects based upon the notion of a countable enriched Lawvere theory. We define the notion of countable enriched Lawvere theory, show how the various leading examples of computational e\#ects, except for continuations, give rise to them, and we compare the definition with that of a strong monad. We outline how one may use the notion to model three natural ways in which to combine computational e\#ects: by their sum, by their...}, author = {Plotkin, Gordon and Power, John}, citeulike-article-id = {346603}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.59.287}, keywords = {effects, lawvere-theories}, posted-at = {2007-10-11 03:34:52}, priority = {4}, title = {Computational Effects and Operations: An Overview}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.59.287} }

TY - GEN ID - citeulike:346603 L3 - citeulike-article-id:346603 N2 - We overview a programme to provide a unified semantics for computational e#ects based upon the notion of a countable enriched Lawvere theory. We define the notion of countable enriched Lawvere theory, show how the various leading examples of computational e#ects, except for continuations, give rise to them, and we compare the definition with that of a strong monad. We outline how one may use the notion to model three natural ways in which to combine computational e#ects: by their sum, by their... TI - Computational Effects and Operations: An Overview KW - effects KW - lawvere-theories AU - Plotkin, Gordon AU - Power, John UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.59.287 ER -