conf.researchr.org / Xuejing Huang
Registered user since Sat 2 Mar 2019
Name:Xuejing Huang
Country:China
Affiliation:University of Hong Kong
Personal website: https://xsnow.github.io/cv.pdf
X (Twitter): https://x.com/hxjxsnow
GitHub: https://github.com/xsnow
Research interests:Type systems (I am looking for a postdoc position started from 2023 Fall!)
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