Adequacy for algebraic effects (2001)

by Gordon Plotkin , Matija Pretnar
Venue:In 4th FoSSaCS
Citations:32 - 16 self