A Flexible Type System for Fearless Concurrency

Original article is at A Flexible Type System for Fearless Concurrency