Direct Foundations for Compositional Programming. - Andong Fan; Xuejing Huang; Han Xu 004; Yaozhu Sun; Bruno C. d. S. Oliveira (ECOOP, 2022)

Direct Foundations for Compositional Programming (Artifact). - Andong Fan; Xuejing Huang; Han Xu 004; Yaozhu Sun; Bruno C. d. S. Oliveira (Dagstuhl Artifacts Ser., 2022)

Making a Type Difference: Subtraction on Intersection Types as Generalized Record Operations. - Han Xu 004; Xuejing Huang; Bruno C. d. S. Oliveira (Proc. ACM Program. Lang., 2023)

Practical Type Inference with Levels. - Andong Fan; Han Xu 004; Ningning Xie (Proc. ACM Program. Lang., 2025)