Golang UK Conference 2017 | Nicholas Ng - Understanding concurrency with behavioural types