Video archive
Understanding concurrency with behavioural types
Video details
Speaker: Nicholas Ng
Length: 48:01
Description
Concurrent programming is difficult. This talk is about applying programming languages & concurrency research, specifically behavioural types as an abstraction, to verify concurrent Go programs. The talk covers what behavioural types are and how they can be used to reason in Go’s concurrency model.
Stay up-to-date with GopherCon UK
Enter your email address to join the GopherCon UK mailing list and be the first to hear our latest news and announcements.
© Vitis Events Ltd. Registered company 09693545 Privacy Policy