SPLASH 2022
Mon 5 - Sat 10 December 2022 Auckland, New Zealand
Ningning Xie

Registered user since Sat 4 Aug 2018

Name:Ningning Xie
Country:United Kingdom
Affiliation:University of Cambridge
Personal website:http://xnning.github.io/
Research interests:Functional Programming, Language Design, Type Systems

Contributions

APLAS 2022 Applicative Intersection Types
SPLASH 2022 First-class Names for Effect Handlers
Committee Member in Reviewers/Judges within the Student Research Competition-track
Show activities from other conferences

Using general profile