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}, keywords = {hyland, lawvere\_theories, plotkin, sum, tensor}, posted-at = {2007-06-16 10:52:58}, priority = {5}, 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 - hyland KW - lawvere_theories KW - plotkin KW - sum KW - tensor AU - Hyland, Martin AU - Plotkin, Gordon AU - Power, John UR - http://citeseer.ist.psu.edu/720831.html ER -