Handlers of Algebraic Effects (2009)
Gordon Plotkin, Matija Pretnar
Abstract. We present an algebraic treatment of exception handlers and, more generally, introduce handlers for other computational effects representable by an algebraic theory. These include...
Adequacy for algebraic effects (2001)
Gordon Plotkin, Matija Pretnar
We present a logic for algebraic effects, based on the algebraic representation of computational effects by operations and equations. We begin with the a-calculus, a minimal calculus which separates...