Shengyi Jiang
where else to find them
what they talk about
where they keep going back
- POPL2 editions2025–2026
all 4 in the filters
on a stage with
all 6 in the filters
who talks about the same things
- Chen Cui3 talks
- Wenjia Ye5 talks
- Han Xu6 talks
- Xuejing Huang4 talks
- Zhenjiang Hu15 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… | ||
| Freezing Bidirectional Typing (Extended Abstract) | ML 2025 | 2025-11-24 |
Frost implements bidirectional information flow between function and argument types, using skeletons with ghosts to pass partial type shapes both ways; a… | ||
| Normalization by Evaluation for Non-cumulativity | ICFP 2025 | 2025-10-12 |
Claims that untyped NbE for non-cumulativity is sound and complete for a Martin-Löf style type theory with explicit universe levels, gives a mechanized proof… | ||
| 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 | ||