SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
SPLASH 2020 (series) / Ningning Xie
Ningning Xie

Registered user since Sat 4 Aug 2018

Name:Ningning Xie
Country:China
Affiliation:The University of Hong Kong
Personal website:http://xnning.github.io/
Research interests:Functional Programming, Type System, Program Verification

Contributions

SPLASH 2020 Mentor in Mentors within the PLMW-track
Mentor in Mentors within the PLMW-track
Row and Bounded Polymorphism via Disjoint Polymorphism
ECOOP 2020 Row and Bounded Polymorphism via Disjoint Polymorphism
Row and Bounded Polymorphism via Disjoint Polymorphism
Show activities from other conferences

SPLASH 2020-profile
View general profile