ETAPS 2019 (series) / Nicholas Ng
Registered user since Tue 18 Aug 2015
Name:Nicholas Ng
Bio:
I apply theoretical understanding of concurrency to analysis of programming language and systems, in particular, Go ʕ◉ϖ◉ʔ
Country:United Kingdom
Affiliation:Imperial College London
Personal website:https://nickng.io
Research interests:Programming Languages, Concurrency, Static Analysis, Session Types
Contributions
| PLACES 2019 | Multiparty session type-safe web development with static linearity | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ETAPS 2019-profile
View general profile
View general profile