Nicholas Ng

Main publications

Static verification for Go

Parameterised Session Types and parallel programming

Session-based parallel programming