
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