A generic operational metatheory for algebraic effects (2010)

by A S Patricia Johann, J Voigtländer
Venue:In LICS. IEEE Computer Society