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