Wenjia Ye
where else to find them
no profile links on file
what they talk about
where they keep going back
- OOPSLA3 editions2023–2025
on a stage with
- Matías Toro3×
- Claudio Gutierrezonce
- Daan Leijenonce
all 8 in the filters
who talks about the same things
- Matías Toro6 talks
- Éric Tanter12 talks
- Shengyi Jiang5 talks
- Lionel Parreaux19 talks
- Yizhou Zhang13 talks
- Aleksander Boruch-Gruszecki9 talks
| title | conference | date |
|---|---|---|
| Flexible and Expressive Typed Path Patterns for GQL | OOPSLA 2025 | 2025-10-16 |
Defines FPPC — a formal type calculus for a core GQL fragment that adds property filters and imprecise (unknown) types, and statically flags queries that are… | ||
| Principal Type Inference under a Prefix: A Fresh Look at Static Overloading | PLDI 2025 | 2025-06-16 |
A new rule set, HMQ (type inference under a prefix), replaces HM guessing with fresh type variables plus composable prefixes as solvable constraints, yielding… | ||
| Merging Gradual Typing | OOPSLA 2024 | 2024-10-20 |
A new λM⋆ calculus combines gradual typing with an intersection-based merge operator, gives a typed-driven runtime (no separate cast calculus), and formalizes… | ||
| 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… | ||
| A Gradual Probabilistic Lambda Calculus | OOPSLA 2023 | 2023-10-23 |
Defines GPLC, a gradual probabilistic lambda calculus with probabilistic types and a binary choice operator, and elaborates programs to a target TPLC with… | ||
| nothing matches | ||