Effect handlers in scope
Nicolas Wu, Tom Schrijvers, Ralf Thomas Walter Hinze · 2014
Algebraic effect handlers are a powerful means for describing effectful computations. They provide a lightweight and orthogonal technique to define and compose the syntax and semantics of different effects. The semantics is captured by handlers, which are functions that transform syntax trees.