π-calculus, Session Types research at Imperial College

News: Golang UK 2017
22 Sep 2017

Nick spoke at Golang UK 2017 on applying behavioural types to verify concurrent Go programs. Click more for details.


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.

The talk was recorded and here is the video: