Adequacy for algebraic effects (2001)

by G D Plotkin, J Power
Venue:In FoSSaCS