# content
Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back (2022) (via 5d22b) — discussion

#pdf #plt