Computational effects and operations: an overview

Gordon Plotkin, A. J. Power

Research output: Contribution to journalArticlepeer-review

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.
Original languageEnglish
Pages (from-to)149-163
Number of pages15
JournalElectronic Notes in Theoretical Computer Science
Volume73
DOIs
Publication statusPublished - 2004
EventDomains VI - , United Kingdom
Duration: 16 Sept 2002 → …

Fingerprint

Dive into the research topics of 'Computational effects and operations: an overview'. Together they form a unique fingerprint.

Cite this