Registered user since Sat 4 Aug 2018
Name:Ningning Xie
Country:Canada
Affiliation:University of Toronto
Personal website: http://xnning.github.io/
X (Twitter): https://x.com/xnningxie
Research interests:Functional programming, type systems, logics, as well as their applications in the broader domains (e.g. compilers, code generation, and machine learning).
Contributions
2021
Symposium on Practical Aspects of Declarative Languages
POPL 2021-profile
View general profile
View general profile