Cite this item

Brachthaeuser, J. I., Schuster, P., Lee, E., & Boruch-Gruszecki, A. (2022). Effects, Capabilities, and Boxes From Scope-Based Reasoning to Type-Based Reasoning and Back. Proceedings of the ACM on Programming Languages, 6(OOPSLA). https://doi.org/10.1145/3527320

Click Copy to copy the citation, or select the text manually.