Golang UK Conference 2017 | Nicholas Ng - Understanding concurrency with behavioural types
Golang UK Conference 2017 | Nicholas Ng - Understanding concurrency with behavioural types
Tweet Concurrent programming is difficult. This talk is about applying programming languages & concurrency research, specifically behavioural types as an abstraction, to verify concurrent Go programs.... Tags:golangConference
