Registered user since Wed 17 Jun 2020

Name:Ivo Gabe de Wolff
Affiliation:Utrecht University

Contributions

PEPM 2017 Author of Refining types using type guards in TypeScript within the PEPM 2017-track