Programming with Algebraic Effects and Handlers

7 Mar 2012 Andrej Bauer Matija Pretnar

Eff is a programming language based on the algebraic approach to computational effects, in which effects are viewed as algebraic operations and effect handlers as homomorphisms from free algebras. Eff supports first-class effects and handlers through which we may easily define new computational effects, seamlessly combine existing ones, and handle them in novel ways... (read more)

PDF Abstract


  • D.3.3; F.3.3