Andong Fan -

Registered user since Wed 4 May 2022

Name:Andong Fan

Country:China

Affiliation:The Hong Kong University of Science and Technology

Personal website: https://andongfan.com

GitHub: https://github.com/andongfan

Contributions

2024

POPL

Author of When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism within the POPL-track
Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

2023

ECOOP

Author of super-Charging Object-Oriented Programming Through Precise Typing of Open Recursion within the Research Papers-track

2022

APLAS

Author of A Calculus with Recursive Types, Record Concatenation and Subtyping within the APLAS-track

SPLASH

ECOOP

Author of Direct Foundations for Compositional Programming within the Research Papers-track