Adequacy for Algebraic E#ects (2001)

by G D Plotkin, A J Power
Venue:in Proc. FOSSACS 2001 (eds. F. Honsell and M. Miculan), LNCS