A generic operational metatheory for algebraic effects (0)

by P Johann, A Simpson, J Voigtländer
Venue:in: Proc. LICS 2010, 2010