Login / Signup

A Generic Operational Metatheory for Algebraic Effects.

Patricia JohannAlex SimpsonJanis Voigtländer
Published in: LICS (2010)
Keyphrases