Degrees of Separation: A Flexible Type System for Safe Concurrency

Yichen Xu, Aleksander Boruch-Gruszecki, Martin Odersky. Degrees of Separation: A Flexible Type System for Safe Concurrency. Proceedings of the ACM on Programming Languages, 8(OOPSLA1):1181-1207, 2024. [doi]

Abstract

Abstract is missing.