Computational Effects and Operations: An Overview

Computational Effects and Operations: An Overview (2004)

by Gordon Plotkin , John Power

Citations:

22 - 7 self

User correction supplied by mph

Datum	Value	Source
TITLE	Computational Effects and Operations: An Overview	user correction
AUTHOR NAME	Gordon Plotkin	user correction
AUTHOR AFFIL	Laboratory for the Foundations of Computer Science; School of Informatics, University of Edinburgh	user correction
AUTHOR ADDR	King’s Buildings, Edinburgh EH9 3JZ, SCOTLAND	user correction
AUTHOR NAME	John Power	user correction
AUTHOR AFFIL	Laboratory for the Foundations of Computer Science; School of Informatics, University of Edinburgh	user correction
AUTHOR ADDR	King’s Buildings, Edinburgh EH9 3JZ, SCOTLAND	user correction
ABSTRACT	We overview a programme to provide a unified semantics for computational effects based upon the notion of a countable enriched Lawvere theory. We define the notion of countable enriched Lawvere theory, show how the various leading examples of computational effects, except for continuations, give rise to them, and we compare the definition with that of a strong monad. We outline how one may use the notion to model three natural ways in which to combine computational effects: by their sum, by their commutative combination, and by distributivity. We also outline a unified account of operational semantics. We present results we have already shown, some partial results, and our plans for further development of the programme.	SVM HeaderParse 0.2
YEAR	2004	user correction
CITATIONS	26 found	ParsCit 1.0