Andong Fan -

Registered user since Wed 4 May 2022

Name:Andong Fan

Country:Canada

Affiliation:University of Toronto

Personal website: https://andongfan.com

GitHub: https://github.com/andongfan

Contributions

2026

SPLASH

Author of Modular Type Safety for Traits with Extensible Variants and Deep Pattern Matching within the OOPSLA-track

WITS

Author of Type Inference Techniques: Implementation and Formalization, Better Together within the WITS-track

2025

PLDI

Author of Practical Type Inference with Levels within the PLDI Research Papers-track
Committee Member in Artifact Evaluation Committee within the Research Artifacts-track

POPL

Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

2024

PLDI

Committee Member in Artifact Evaluation Committee within the Research Artifacts-track

POPL

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