We seek a unified account of modularity for computational effects, using the notion of enriched Lawvere theory, together with its relationship with strong monads, to reformulate Moggi's paradigm for modelling computational effects. Effects qua theories are then combined by appropriate bifunctors (on the category of theories). We give a theory of the commutative combination of effects, which in particular yields Moggi's side-effects monad transformer. And we give a theory for the sum of computational effects, which in particular yields Moggi's exceptions monad transformer.
CITATION STYLE
Hyland, M., Plotkin, G., & Power, J. (2002). Combining computational effects: Commutativity and sum. IFIP Advances in Information and Communication Technology, 96, 474–484. https://doi.org/10.1007/978-0-387-35608-2_39
Mendeley helps you to discover research relevant for your work.