Login / Signup

Algebraic foundations for effect-dependent optimisations.

Ohad KammarGordon D. Plotkin
Published in: POPL (2012)
Keyphrases