Yaozhu Sun
where else to find them
what they talk about
where they keep going back
- OOPSLA3 editions2022–2025
on a stage with
all 4 in the filters
who talks about the same things
- Xuejing Huang4 talks
- Wenjia Ye5 talks
- Chen Cui3 talks
- Shengyi Jiang5 talks
- Yaoda Zhou3 talks
- Ondřej Lhoták11 talks
| title | conference | date |
|---|---|---|
| (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… | ||
| Imperative Compositional Programming: Type Sound Distributive Intersection Subtyping(…) | OOPSLA 2024 | 2024-10-20 |
The paper shows that by restricting the typing rule for references (rather than dropping distributivity or adding a global value restriction) bidirectional… | ||
| Compositional Embeddings of Domain-Specific Languages | OOPSLA 2022 | 2022-12-05 |
Claims a compositional embedding implemented in the CP language that combines shallow and deep benefits by typing constructors with an abstract sort and… | ||
| nothing matches | ||