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

Phillip Mates, Jamie Perconti, Amal Ahmed (2019)

Details and statistics

DOI: 10.1145/3354166.3354181

access: closed

type: Conference or Workshop Paper

metadata version: 2022-07-05

a service of  Schloss Dagstuhl - Leibniz Center for Informatics