TY  - RPRT
TI  - Degrees of Separation: A Flexible Type System for Data Race Prevention
AU  - Yichen Xu
AU  - Aleksander Boruch-Gruszecki
AU  - Martin Odersky
PY  - 2023
UR  - https://arxiv.org/abs/2308.07474
ID  - 2308.07474
ER  -