Adequacy for Algebraic Effects.

Gordon D. Plotkin, John Power

Browse the full FOSSACS paper archive.