SPLASH 2022
Mon 5 - Sat 10 December 2022 Auckland, New Zealand
SPLASH 2022 (series) / Andong Fan
Andong Fan

Registered user since Wed 4 May 2022

Name:Andong Fan
Country:China
Affiliation:Hong Kong University of Science and Technology
Personal website:https://andongfan.com
GitHub:https://github.com/andongfan

Contributions

APLAS 2022 A Calculus with Recursive Types, Record Concatenation and Subtyping
SPLASH 2022 In-person student volunteer in Organizers within the Student Volunteers-track
Simple Extensible Programming through Precisely-Typed Open Recursion
Show activities from other conferences

SPLASH 2022-profile
View general profile