Xuejing Huang
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- Han Xu2×
- Nick Riouxonce
- Steve Zdancewiconce
all 4 in the filters
who talks about the same things
- Han Xu6 talks
- Yaozhu Sun3 talks
- Shengyi Jiang5 talks
- Nick Rioux5 talks
- Chen Cui3 talks
- Wenjia Ye5 talks
| title | conference | date |
|---|---|---|
| Liberating Merges via Apartness and Guarded Subtyping | OOPSLA 2025 | 2025-10-16 |
Introduces type apartness plus a strengthened guarded subtyping that lets merges overlap yet remain deterministic, enabling function and return-type… | ||
| (TOPLAS) Type-Safe Compilation of Dynamic Inheritance via Merging | OOPSLA 2025 | 2025-10-16 |
A compiler for the CP language compiles dynamic inheritance via a merge operator into runtime extensible records with mangled type labels, proving type safety… | ||
| A Bowtie for a Beast: Overloading, Eta Expansion, and Extensible Data Types in F... | POPL 2023 | 2023-01-15 |
Presents F⋈, a small core language that lets intersection types, union types and overloaded functions coexist with a deterministic merge operator by enforcing… | ||
| Making a Type Difference: Subtraction on Intersection Types as Generalized Recor... | POPL 2023 | 2023-01-15 |
Defines a general type difference operator that extends record restriction to intersection, function and other types, gives an algorithm (deterministic) driven… | ||
| nothing matches | ||