Han Xu

According to our database, Han Xu authored at least 3 papers between 2022 and 2023.

Collaborative distances:

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

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