Combining Computational Effects: Commutativity and Sum [chapter]

Martin Hyland, Gordon Plotkin, John Power
2002 Foundations of Information Technology in the Era of Network and Mobile Computing  
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 Maggi'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 Maggi's side-effects monad transformer. And we give a theory for the sum of
more » ... onal effects, which in particular yields Maggi's exceptions monad transformer.
doi:10.1007/978-0-387-35608-2_39 dblp:conf/ifipTCS/HylandPP02 fatcat:da2dra2oejd5zo6sdlxgeh56qi