A logic for algebraic effects (2008)

by PPr08 G D Plotkin, M Pretnar
Venue:Proc. 23rd. LICS