Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back (2022) - discu.eu

Lobsters

Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back (2022) https://dl.acm.org/doi/pdf/10.1145/3527320 3 comments 8/6/2024 pdf , plt