Xu Xue
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
- Chen Cuionce
- Ningning Xieonce
- Shengyi Jiangonce
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Local Contextual Type Inference | POPL 2026 | 2026-01-11 |
Presents a principled redesign of local type inference that embeds contextual typing into a variant of System F called Contextual System F (Fc), gives a… | ||
| Applicative Intersection Types | APLAS 2022 | 2022-12-05 |
Two calculi for intersection types with an explicit merge operator: the first admits an unrestricted merge, proves type soundness but yields non-deterministic… | ||
| nothing matches | ||