conf.researchr.org / Han Xu

Registered user since Tue 4 Oct 2022

Name:Han Xu
Country:China
Affiliation:Peking University

Contributions

POPL 2023 Author of Making a Type Difference: Subtraction on Intersection Types as Generalized Record Operations within the POPL-track
ECOOP 2022 Author of Direct Foundations for Compositional Programming within the Research Papers-track