"Under Control: Compositionally Correct Closure Conversion with Mutable State."

Phillip Mates, Jamie Perconti, Amal Ahmed (2019)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics