Show simple item record

dc.contributor.authorHyland, Martin
dc.contributor.authorPlotkin, Gordon
dc.contributor.authorPower, John
dc.date.accessioned2003-11-05T10:23:11Z
dc.date.available2003-11-05T10:23:11Z
dc.date.issued2003-11-05T10:23:11Z
dc.identifier.urihttp://hdl.handle.net/1842/195
dc.description.abstractWe begin to develop a unified account of modularity for computational effects. We use the notion of enriched Lawvere theory, together with its relationship with strong monads, to reformulate Moggi’s paradigm for modelling computational effects; we emphasise the importance here of the operations that induce 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 (an application is the combination of side-effects with nondeterminism). And we give a theory for the sum of computational effects, which in particular yields Moggi’s exceptions monad transformer (an application is the combination of exceptions with other effects).en
dc.format.extent211511 bytes
dc.format.mimetypeapplication/pdf
dc.language.isoen
dc.subjectLaboratory for Foundations of Computer Science
dc.titleCombining computational effects: commutativity and sumen
dc.typePreprinten


Files in this item

This item appears in the following Collection(s)

Show simple item record