Registered user since Wed 23 Sep 2015
Name: Niki Vazou
Affiliation: IMDEA Software Institute
Personal website: https://nikivazou.github.io/
Contributions
| HIW 2020 | Liquid Haskell as a GHC Plugin | ||||||||||||||||||||||||||||||||||||||||
| ICFP 2020 | Untitled PL Card Game Committee Member in Virtualization Committee | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ICFP 2020-profile
View general profile
View general profile