Output details
11 - Computer Science and Informatics
University of Edinburgh
Handlers of Algebraic Effects
<08> Originality: First method and programming language construct for handling effects in general (not just exceptions) with diverse applications, e.g., pipeline-handling, database rollback, some aspects of concurrency.
Significance: Inspired Bauer and Pretnar's Eff experimental programming language. Part of Plotkin's continuing algebraic effects research programme which has aroused international interest, including a workshop, EWCE Ljubljana, and a special session of MFPS 2012, and is mentioned in Plotkin's SIGPLAN 2010 award citation.
Rigour: A semantics is given to an extension of the CBPV lambda-calculus, with the effect-handling construct understood using homomorphisms from free algebras. A logic for effect handlers is given.