A flexible type system for fearless concurrency. - Mae Milano; Joshua Turcotti; Andrew C. Myers (PLDI, 2022)