conf.researchr.org / 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
2024
ECOOP
2023
POPL
- Author of Making a Type Difference: Subtraction on Intersection Types as Generalized Record Operations within the POPL-track
- Author of A Bowtie for a Beast: Overloading, Eta Expansion, and Extensible Data Types in F⋈ within the POPL-track
- Session Chair of Wednesday Evening Session Preview (part of Session Previews)
2022
2021
2020
ECOOP
- Author of A Type-Directed Operational Semantics for a Calculus with a Merge Operator within the Research Papers-track
- Author of A Type-Directed Operational Semantics for a Calculus with a Merge Operator within the Posters-track
- Author of A Type-Directed Operational Semantics for a Calculus with a Merge Operator within the Artifacts-track