Adequacy for Algebraic Effects (2001)

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