N
At a glance
Research interests
programming languages ; language design, functional programming, type theory, logics, compilers, program verification, machine learning programming
About
Biography
Ningning Xie is Assistant Professor at the University of Toronto, affiliated with Computer Science. This summary considered 2 collected sources. Listed research or teaching areas include programming languages ; language design, functional programming, type theory, logics, compilers, program verification, machine learning programming.