Adequacy for Algebraic Effects (2001)

by Gordon Plotkin , John Power
Venue:in Proc. FOSSACS 2001 (eds. F. Honsell and M. Miculan), LNCS
Citations:30 - 16 self