SPLASH 2018 (series) / Niki Vazou

Registered user since Wed 23 Sep 2015
Name: Niki Vazou
Affiliation: IMDEA Software Institute
Personal website: https://nikivazou.github.io/
Contributions
SPLASH 2018 | Gradual Liquid Type Inference Gradual Liquid Type Inference | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
SPLASH 2018-profile
View general profile
View general profile