Association for Computing Machinery (ACM), Proceedings of the ACM on Programming Languages, POPL(5), p. 1-24, 2021
DOI: 10.1145/3434321
Export citation
Search in Google Scholar
Full text: Download