Andong Fan

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 9

Top Topics

Development Tools

Programming Language

Recursive Algorithm

Object Oriented Languages

Top Venues

Dagstuhl Artifacts Ser.

Proc. ACM Program. Lang.

Publications

Lionel Parreaux, Aleksander Boruch-Gruszecki, Andong Fan, Chun Yin Chau
When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism. Proc. ACM Program. Lang. 8 (POPL) (2024)
Andong Fan, Lionel Parreaux
super-Charging Object-Oriented Programming Through Precise Typing of Open Recursion (Artifact). Dagstuhl Artifacts Ser. 9 (2) (2023)
Andong Fan, Lionel Parreaux
super-Charging Object-Oriented Programming Through Precise Typing of Open Recursion. ECOOP (2023)
Andong Fan
Simple Extensible Programming through Precisely-Typed Open Recursion. SPLASH Companion (2022)
Yaoda Zhou, Bruno C. d. S. Oliveira, Andong Fan
A Calculus with Recursive Types, Record Concatenation and Subtyping. APLAS (2022)
Andong Fan, Xuejing Huang, Han Xu, Yaozhu Sun, Bruno C. d. S. Oliveira
Direct Foundations for Compositional Programming. ECOOP (2022)
Andong Fan, Xuejing Huang, Han Xu, Yaozhu Sun, Bruno C. d. S. Oliveira
Direct Foundations for Compositional Programming (Artifact). Dagstuhl Artifacts Ser. 8 (2) (2022)
Yihan Wu, Min Xia, Li Nie, Yangsong Zhang, Andong Fan
Simultaneously exploring multi-scale and asymmetric EEG features for emotion recognition. Comput. Biol. Medicine 149 (2022)
Andong Fan, Xuejing Huang, Han Xu, Yaozhu Sun, Bruno C. d. S. Oliveira
Direct Foundations for Compositional Programming. CoRR (2022)