TY  - RPRT
TI  - Designing with Static Capabilities and Effects: Use, Mention, and Invariants
AU  - Colin S. Gordon
PY  - 2020
DO  - 10.4230/lipics.ecoop.2020.10
UR  - https://arxiv.org/abs/2005.11444
ID  - 2005.11444
ER  -