Publication Details Author Finn Voichick Liyi Li Robert Rand Michael Hicks Publication Type Journal Article Year of Publication 2022 DOI 10.5281/ZENODO.7382711 URL https://arxiv.org/abs/2204.12384 Journal Proceedings of the ACM on Programming Languages DOIGoogle Scholar Contributors Groups QuICS Date Published 01/2023