TY  - RPRT
TI  - Towards Gradual Checking of Reference Capabilities
AU  - Kiko Fernandez-Reyes
AU  - Isaac Oscar Gariano
AU  - James Noble
AU  - Tobias Wrigstad
PY  - 2019
UR  - https://arxiv.org/abs/1909.01465
ID  - 1909.01465
ER  -