Chen Cui
where else to find them
no profile links on file
what they talk about
where they keep going back
- POPL2 editions2025–2026
on a stage with
- Shengyi Jiang3×
- Xu Xueonce
who talks about the same things
- Shengyi Jiang5 talks
- Wenjia Ye5 talks
- Han Xu6 talks
- Xuejing Huang4 talks
- Yaozhu Sun3 talks
- Lionel Parreaux19 talks
| 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… | ||
| Bidirectional Higher-Rank Polymorphism with Intersection and Union Types | POPL 2025 | 2025-01-19 |
Presents FIU, a bidirectional type system combining higher‑rank polymorphism with intersection and union types, and proves a sound, complete, decidable… | ||
| Greedy Implicit Bounded Quantification | OOPSLA 2023 | 2023-10-23 |
Presents F≤b, a variant of kernel F≤ with greedy implicit instantiation that handles bounded quantification, interdependent bounds, higher-rank polymorphism… | ||
| nothing matches | ||