Jonathan Immanuel Brachthäuser, Philipp Schuster, Edward Lee, Aleksander Boruch-Gruszecki. Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back. Proceedings of the ACM on Programming Languages, 6(OOPSLA):1-30, 2022. [doi]
@article{BrachthauserSLB22, title = {Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back}, author = {Jonathan Immanuel Brachthäuser and Philipp Schuster and Edward Lee and Aleksander Boruch-Gruszecki}, year = {2022}, doi = {10.1145/3527320}, url = {https://doi.org/10.1145/3527320}, researchr = {https://researchr.org/publication/BrachthauserSLB22}, cites = {0}, citedby = {0}, journal = {Proceedings of the ACM on Programming Languages}, volume = {6}, number = {OOPSLA}, pages = {1-30}, }