• Sign in
  • Sign up
conf.researchr.org / Han Xu
  • ECOOP 2022 profile
  • PLDI 2025 profile
  • POPL 2023 profile
No Photo

Registered user since Tue 4 Oct 2022

Name:Han Xu
Country:United States
Affiliation:Princeton University

Contributions

2025

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
Share
xSat 17 May 02:00
using conf.researchr.org (v1.69.0)
Support page
Sign Up