Han Xu

Orcid: 0000-0002-2548-6866

Affiliations:

Peking University, Beijing, China

According to our database¹, Han Xu authored at least 4 papers between 2022 and 2025.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of five.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2025

Practical Type Inference with Levels.

[BibT_eX]

[DOI]

Andong Fan

Han Xu

Ningning Xie

Proc. ACM Program. Lang., 2025

2023

Making a Type Difference: Subtraction on Intersection Types as Generalized Record Operations.

[BibT_eX]

[DOI]

Han Xu

Xuejing Huang

Bruno C. d. S. Oliveira

Proc. ACM Program. Lang., January, 2023

2022

Direct Foundations for Compositional Programming (Artifact).

[BibT_eX]

[DOI]

Bruno C. d. S. Oliveira

Dagstuhl Artifacts Ser., 2022

Direct Foundations for Compositional Programming.

[BibT_eX]

[DOI]

Bruno C. d. S. Oliveira

Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

Han Xu

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...