Xuejing Huang - POPL 2023

Registered user since Sat 2 Mar 2019

Name:Xuejing Huang

Country:China

Affiliation:University of Hong Kong

Research interests:Type systems (I am looking for a postdoc position started from 2023 Fall!)

Contributions

POPL 2023	Making a Type Difference: Subtraction on Intersection Types as Generalized Record Operations A Bowtie for a Beast: Overloading, Eta Expansion, and Extensible Data Types in F⋈ Session Chair of Wednesday Evening Session Preview (part of Session Previews)
Show activities from other conferences