Andong Fan

According to our database, Andong Fan authored at least 9 papers between 2022 and 2025.

Collaborative distances:

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

2025

Practical Type Inference with Levels.

Andong Fan, Han Xu, Ningning Xie

Proc. ACM Program. Lang., 2025

2024

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., January, 2024

2023

super-Charging Object-Oriented Programming Through Precise Typing of Open Recursion (Artifact).

Andong Fan, Lionel Parreaux

Dagstuhl Artifacts Ser., 2023

super-Charging Object-Oriented Programming Through Precise Typing of Open Recursion.

Andong Fan, Lionel Parreaux

Proceedings of the 37th European Conference on Object-Oriented Programming, 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

Simultaneously exploring multi-scale and asymmetric EEG features for emotion recognition.

Yihan Wu, Min Xia, Li Nie, Yangsong Zhang, Andong Fan

Comput. Biol. Medicine, 2022

Simple Extensible Programming through Precisely-Typed Open Recursion.

Andong Fan

Proceedings of the Companion Proceedings of the 2022 ACM SIGPLAN International Conference on Systems, 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

A Calculus with Recursive Types, Record Concatenation and Subtyping.

Yaoda Zhou, Bruno C. d. S. Oliveira, Andong Fan

Proceedings of the Programming Languages and Systems - 20th Asian Symposium, 2022