www.andongfan.com Open in urlscan Pro
124.221.133.105  Public Scan

Form analysis
0 forms found in the DOM

Text Content

Andong Fan
范安东
a AT andongfan.com
andongfan
andongfan
Andong Fan
I am an MPhil student in Dr. Lionel Parreaux's TACO Lab at HKUST CSE. My
research interest lies in programming languages and type systems. I have been
working on modular programming in a blend of object-oriented and functional
styles and type inference for first-class polymorphism for my MPhil.
Publications
When Subtyping Constraints Liberate: A Novel Type Inference Approach for
First-Class Polymorphism
Lionel Parreaux, Aleksander Boruch-Gruszecki, Andong Fan, Chun Yin Chau
POPL 2024 [paper] [demo] [artifact]
super-charging Object-Oriented Programming through Precise Typing of Open
Recursion
Andong Fan, Lionel Parreaux
ECOOP 2023 [paper] [extended paper] [demo] [artifact]
ECOOP 2023 Distinguished Artifact
Simple Extensible Programming Through Precisely-Typed Open Recursion
Andong Fan
SPLASH 2022 SRC [paper]
A Calculus with Recursive Types, Record Concatenation and Subtyping
Yaoda Zhou, Bruno C. d. S. Oliveira, Andong Fan
APLAS 2022 [paper] [artifact]
Direct Foundations for Compositional Programming
Andong Fan*, Xuejing Huang*, Han Xu, Yaozhu Sun, Bruno C. d. S. Oliveira (*equal
contributions)
ECOOP 2022 [paper] [extended paper] [demo] [artifact]
Background
The Hong Kong University of Science and Technology
Sept. 2022 - Aug. 2024 (expected) | Hong Kong, China
MPhil in Computer Science and Engineering
Advisor: Lionel Parreaux.
Zhejiang University
Sept. 2018 - June 2022 | Hangzhou, China
BEng in Computer Science and Technology

The University of Hong Kong
Feb. 2021 - Mar. 2022 | Hong Kong, China
Research Intern at the HKU PL Group
Advisor: Bruno C. d. S. Oliveira.
Projects
MLscript

The MLscript programming language. Functional and object-oriented; structurally
typed and sound; with powerful type inference. [repo]
fiplus

Coq formalization of F+iFi+ [repo]
Service
Artifact Evaluation
POPL 2024, PLDI 2024
Subreview
SPLASH 2022 SRC
Student Volunteer
SPLASH 2022, ECOOP 2023
Teaching Assistant
Principles of Programming Languages, HKUST, Fall 2023.
Programming Principles, Zhejiang University, Fall 2021.
Last updated: 2024-01-03 · Jekyll theme by crispgm
渝ICP备20001603号-2