Han Xu -

Registered user since Tue 4 Oct 2022

Name:Han Xu

Country:United States

Affiliation:Princeton University

Personal website: https://sec-r.github.io/

Research interests:Programming Languages

Contributions

2025

SPLASH

Author of Liberating Merges via Apartness and Guarded Subtyping within the OOPSLA-track

PLDI

Author of Practical Type Inference with Levels within the PLDI Research Papers-track

2023

POPL

Author of Making a Type Difference: Subtraction on Intersection Types as Generalized Record Operations within the POPL-track

2022

ECOOP

Author of Direct Foundations for Compositional Programming within the Research Papers-track