ECOOP 2025 (series) / Xuejing Huang
Registered user since Sat 2 Mar 2019
Name:Xuejing Huang
Country:France
Affiliation:IRIF
Personal website: https://xsnow.live/
X (Twitter): https://x.com/hxjxsnow
GitHub: https://github.com/xsnow
Research interests:Type systems, subtyping, proof assitants
Contributions
Using general profile