Combining Computational Effects: Commutativity and Sum

Combining Computational Effects: Commutativity and Sum (2002)

by Martin Hyland , Gordon Plotkin , John Power

Citations:

18 - 4 self

Datum	Value	Source
TITLE	Combining computational e#ects: commutativity and sum Martin Hyland,	SVM HeaderParse 0.1
AUTHOR NAME	Gordon Plotkin	SVM HeaderParse 0.1
AUTHOR AFFIL	1; Department of Mathematics, University of Cambridge, Cambridge, England.	SVM HeaderParse 0.2
AUTHOR NAME	John Power	SVM HeaderParse 0.1
AUTHOR AFFIL	1; Department of Mathematics, University of Cambridge, Cambridge, England.	SVM HeaderParse 0.2
ABSTRACT	Abstract. We begin to develop a unified account of modularity for computational e#ects. We use the notion of enriched Lawvere theory, together with its relationship with strong monads, to reformulate Moggi's paradigm for modelling computational e#ects; we emphasise the importance here of the operations that induce computational e#ects. E#ects qua theories are then combined by appropriate bifunctors (on the category of theories). We give a theory of the commutative combination of e#ects, which in particular yields Moggi's side-e#ects monad transformer (an application is the combination of side-e#ects with nondeterminism). And we give a theory for the sum of computational e#ects, which in particular yields Moggi's exceptions monad transformer (an application is the combination of exceptions with other e#ects). 1	SVM HeaderParse 0.1
CITATIONS	29 found	ParsCit 1.0