Adequacy for algebraic effects (2001)

by Gordon Plotkin, Matija Pretnar
Venue:In 4th FoSSaCS