Han Xu

According to our database, Han Xu authored at least 8 papers between 2021 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Network Change Validation with Relational NetKAT.

Han Xu, Zachary Kincaid, Ratul Mahajan, David Walker

Proc. ACM Program. Lang., 2026

Dependently-Typed AARA: A Non-Affine Approach for Resource Analysis of Higher-Order Programs.

Han Xu, Di Wang

Proceedings of the Programming Languages and Systems, 2026

2025

Practical Type Inference with Levels.

Andong Fan, Han Xu, Ningning Xie

Proc. ACM Program. Lang., 2025

Liberating Merges via Apartness and Guarded Subtyping.

Han Xu, Xuejing Huang, Bruno C. d. S. Oliveira

Proc. ACM Program. Lang., 2025

2023

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

Han Xu, Xuejing Huang, Bruno C. d. S. Oliveira

Proc. ACM Program. Lang., January, 2023

2022

Direct Foundations for Compositional Programming (Artifact).

Andong Fan, Xuejing Huang, Han Xu, Yaozhu Sun, Bruno C. d. S. Oliveira

Dagstuhl Artifacts Ser., 2022

Direct Foundations for Compositional Programming.

Andong Fan, Xuejing Huang, Han Xu, Yaozhu Sun, Bruno C. d. S. Oliveira

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

2021

Analytical Differential Calculus with Integration.

Han Xu, Zhenjiang Hu

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