Adequacy for algebraic effects (2001)

by G D Plotkin, J Power
Venue:In Proc. FOSSACS 2001