Under Control: Compositionally Correct Closure Conversion with Mutable State

Phillip Mates, Jamie Perconti, Amal Ahmed. Under Control: Compositionally Correct Closure Conversion with Mutable State. In Ekaterina Komendantskaya, editor, Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages, PPDP 2019, Porto, Portugal, October 7-9, 2019. ACM, 2019. [doi]

Bibliographies