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]

Authors

Phillip Mates

This author has not been identified. Look up 'Phillip Mates' in Google

Jamie Perconti

This author has not been identified. Look up 'Jamie Perconti' in Google

Amal Ahmed

This author has not been identified. Look up 'Amal Ahmed' in Google