Local algebraic effect theories

Ziga Luksic, Matija Pretnar. Local algebraic effect theories. Journal of Functional Programming, 30, 2020. [doi]