Under Control: Compositionally Correct Closure Conversion with Mutable State.

Phillip Mates, Jamie Perconti, Amal Ahmed

Browse the full PPDP paper archive.