Login / Signup

An Effect System for Algebraic Effects and Handlers.

Andrej BauerMatija Pretnar
Published in: CALCO (2013)
Keyphrases