Combining Effects: Sum and Tensor Export

@misc{citeulike:341489, abstract = {We seek a unified account of modularity for computational effects. We begin by reformulating Moggi's monadic paradigm for modelling computational effects using the notion of enriched Lawvere theory, together with its relationship with strong monads; this emphasises the importance of the operations that produce the effects. Effects qua theories are then combined by appropriate bifunctors on the category of theories. We give a theory for the sum of computational effects, which in particular...}, author = {Hyland, Martin and Plotkin, Gordon and Power, John}, citeulike-article-id = {341489}, citeulike-linkout-0 = {http://citeseer.ist.psu.edu/720831.html}, citeulike-linkout-1 = {http://citeseer.lcs.mit.edu/720831.html}, citeulike-linkout-2 = {http://citeseer.ifi.unizh.ch/720831.html}, citeulike-linkout-3 = {http://citeseer.comp.nus.edu.sg/720831.html}, comment = {Discussion at <http://lambda-the-ultimate.org/node/view/1024>}, keywords = {effects, lawvere-theories, monad-transformers, monads}, posted-at = {2005-10-05 19:10:06}, priority = {4}, title = {Combining Effects: Sum and Tensor}, url = {http://citeseer.ist.psu.edu/720831.html} }

TY - GEN ID - citeulike:341489 L3 - citeulike-article-id:341489 N2 - We seek a unified account of modularity for computational effects. We begin by reformulating Moggi's monadic paradigm for modelling computational effects using the notion of enriched Lawvere theory, together with its relationship with strong monads; this emphasises the importance of the operations that produce the effects. Effects qua theories are then combined by appropriate bifunctors on the category of theories. We give a theory for the sum of computational effects, which in particular... TI - Combining Effects: Sum and Tensor KW - effects KW - lawvere-theories KW - monad-transformers KW - monads N1 - Discussion at <http://lambda-the-ultimate.org/node/view/1024> AU - Hyland, Martin AU - Plotkin, Gordon AU - Power, John UR - http://citeseer.ist.psu.edu/720831.html ER -