Han Xu

Orcid: 0000-0002-2548-6866

Affiliations:

Peking University, Beijing, China

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

Collaborative distances:

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

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

2021

Analytical Differential Calculus with Integration.

[BibT_eX]

[DOI]

Han Xu

Zhenjiang Hu

Proceedings of the 48th International Colloquium on Automata, Languages, and Programming, 2021

Han Xu

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...