TY  - RPRT
TI  - Object Capabilities and Lightweight Affinity in Scala: Implementation, Formalization, and Soundness
AU  - Philipp Haller
AU  - Alexandre Loiko
PY  - 2016
UR  - https://arxiv.org/abs/1607.05609
ID  - 1607.05609
ER  -