@misc{indiciae227e7dc37642,
  title = {Degrees of Separation: A Flexible Type System for Data Race Prevention},
  author = {Yichen Xu and Aleksander Boruch-Gruszecki and Martin Odersky},
  year = {2023},
  url = {https://arxiv.org/abs/2308.07474},
  note = {Source identifier: 2308.07474}
}