Login / Signup

A Logic for Algebraic Effects.

Gordon D. PlotkinMatija Pretnar
Published in: LICS (2008)
Keyphrases