Concurrency and the Algebraic Theory of Effects - (Abstract)

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

Abstract

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
Pages21-22
Number of pages2
Volume7454
ISBN (Electronic)978-3-642-32940-1
ISBN (Print)978-3-642-32939-5
DOIs
Publication statusPublished - 2012

Cite this