A Type System for Read-Copy-Update Concurrency
Kuru, Ismail, and Gordon, Colin S.
In European Symposium on Programming (ESOP 2019) 2019