Combining effects: sum and tensor

Combining effects: sum and tensor

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Martin Hyland , Gordon Plotkin , John Power

Citations:

23 - 3 self

Versions

Version History

Metadata Version 1

User correction supplied by mph

Datum	Value	Source
TITLE	Combining effects: sum and tensor	SVM HeaderParse 0.2
AUTHOR NAME	Martin Hyland	user correction
AUTHOR AFFIL	2 Laboratory for the Foundations of Computer Science, School of Informatics,	user correction
AUTHOR ADDR	University of Edinburgh, King’s Buildings, Edinburgh EH9 3JZ, Scotland.	user correction
AUTHOR NAME	Gordon Plotkin	user correction
AUTHOR AFFIL	1 Dept. of Mathematics, University of Cambridge, Cambridge CB3 0WB, England.	user correction
AUTHOR NAME	John Power	user correction
AUTHOR AFFIL	2 Laboratory for the Foundations of Computer Science, School of Informatics,	user correction
AUTHOR ADDR	University of Edinburgh, King’s Buildings, Edinburgh EH9 3JZ, Scotland.	user correction
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 yields Moggi’s exceptions monad transformer and an interactive input/output monad transformer. We further give a theory of the commutative combination of effects, their tensor, which yields Moggi’s side-effects monad transformer. Finally we give a theory of operation transformers, for redefining operations when adding new effects; we derive explicit forms for the operation transformers associated to the above monad transformers.	user correction
CITATIONS	58 found	ParsCit 1.0