Login / Signup

Hiding Local State in Direct Style: A Higher-Order Anti-Frame Rule.

François Pottier
Published in: LICS (2008)
Keyphrases