A Calculus with Recursive Types, Record Concatenation and Subtyping. - Yaoda Zhou; Bruno C. d. S. Oliveira; Andong Fan (APLAS, 2022)

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

Simple Extensible Programming through Precisely-Typed Open Recursion. - Andong Fan (SPLASH Companion, 2022)

Simultaneously exploring multi-scale and asymmetric EEG features for emotion recognition. - Yihan Wu; Min Xia 005; Li Nie; Yangsong Zhang; Andong Fan (Comput. Biol. Medicine, 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)

super-Charging Object-Oriented Programming Through Precise Typing of Open Recursion. - Andong Fan; Lionel Parreaux (ECOOP, 2023)

super-Charging Object-Oriented Programming Through Precise Typing of Open Recursion (Artifact). - Andong Fan; Lionel Parreaux (Dagstuhl Artifacts Ser., 2023)

When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism. - Lionel Parreaux; Aleksander Boruch-Gruszecki; Andong Fan; Chun Yin Chau (Proc. ACM Program. Lang., 2024)

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