Write a Blog >>
POPL 2021
Sun 17 - Fri 22 January 2021 Online
Ningning Xie

Registered user since Sat 4 Aug 2018

Name:Ningning Xie
Affiliation:University of Toronto
Personal website: http://xnning.github.io/
Research interests:Functional programming, type systems, logics, as well as their applications in the broader domains (e.g. compilers, code generation, and machine learning).



Symposium on Practical Aspects of Declarative Languages

Show activities from other conferences

POPL 2021-profile
View general profile