A Calculus for Scoped Effects & Handlers

Roger Bosman, Birthe van den Berg, Wenhao Tang +1

Algebraic effects & handlers have become a standard approach for side-effects in functional programming. Their modular composition with other effects and clean separation of syntax…