Andong Fan

Orcid: 0000-0003-2124-9625

According to our database1, Andong Fan authored at least 8 papers between 2022 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism.
Proc. ACM Program. Lang., January, 2024

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

super-Charging Object-Oriented Programming Through Precise Typing of Open Recursion.
Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

2022
Direct Foundations for Compositional Programming (Artifact).
Dagstuhl Artifacts Ser., 2022

Simultaneously exploring multi-scale and asymmetric EEG features for emotion recognition.
Comput. Biol. Medicine, 2022

Simple Extensible Programming through Precisely-Typed Open Recursion.
Proceedings of the Companion Proceedings of the 2022 ACM SIGPLAN International Conference on Systems, 2022

Direct Foundations for Compositional Programming.
Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

A Calculus with Recursive Types, Record Concatenation and Subtyping.
Proceedings of the Programming Languages and Systems - 20th Asian Symposium, 2022


  Loading...