Concurrency and the Algebraic Theory of Effects - (Abstract)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

The algebraic theory of effects [7,8,4] continues Moggi’s monadic approach to effects [5,6,1] by concentrating on a particular class of monads: the algebraic ones, that is, the free algebra monads of given equational theories. The operations of such equational theories can be thought of as effect constructors, as it is they that give rise to effects. Examples include exceptions (when the theory is that of a set of constants with no axioms), nondeterminism (when the theory could be that of a semilattice, for nondeterminism, with a zero, for deadlock), and action (when the theory could be a set of unary operations with no axioms).
Original languageEnglish
Title of host publicationCONCUR 2012 - Concurrency Theory
Subtitle of host publication23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings
PublisherSpringer Berlin Heidelberg
Number of pages2
ISBN (Electronic)978-3-642-32940-1
ISBN (Print)978-3-642-32939-5
Publication statusPublished - 2012


Dive into the research topics of 'Concurrency and the Algebraic Theory of Effects - (Abstract)'. Together they form a unique fingerprint.

Cite this