Object Capabilities and Lightweight Affinity in Scala: Implementation, Formalization, and Soundness. - Philipp Haller; Alexandre Loiko (CoRR, 2016)