# Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back

> Research article (Proceedings of the ACM on Programming Languages, 2022) · cited 23× · AI/ML

**Wikidata**: [openalex:W4225138414](https://www.wikidata.org/wiki/openalex:W4225138414)  
**Source**: https://4ort.xyz/entity/effects-capabilities-and-boxes-from-scope-based-reasoning-to-type-based-reasoning-and-back