ECOOP 2020
Sun 15 - Tue 17 November 2020 Online Conference
co-located with SPLASH 2020
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

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

SPLASH 2020-profile
View general profile