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).
|Title of host publication||CONCUR 2012 - Concurrency Theory|
|Subtitle of host publication||23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings|
|Publisher||Springer Berlin Heidelberg|
|Number of pages||2|
|Publication status||Published - 2012|