Nicholas Ng

Main publications

Static verification for Go

Parameterised Session Types and parallel programming

Session-based parallel programming


See my dblp or Google scholar page for a more complete list.