James You
where else to find them
no profile links on file
what they talk about
where they keep going back
- OOPSLA2 editions2023–2024
on a stage with
all 8 in the filters
who talks about the same things
- Ondřej Lhoták11 talks
- Edward Lee10 talks
- James McKinna2 talks
- Aleksander Boruch-Gruszecki9 talks
- Lionel Parreaux19 talks
- Wenjia Ye5 talks
| title | conference | date |
|---|---|---|
| Taking away Mutation | The Scala Workshop 2025 | 2025-10-12 |
Presents an encoding that ties mutation rights to explicit capability objects using singleton types so mutable fields can be constructed in-place then rendered… | ||
| Qualifying System F-sub | OOPSLA 2024 | 2024-10-20 |
Paper claims a practical calculus System F<:Q that combines higher‑rank bounded polymorphism with a free lattice encoding of qualifier expressions, giving… | ||
| TASTyTruffle: Just-in-Time Specialization of Parametric Polymorphism | OOPSLA 2023 | 2023-10-23 |
TASTyTruffle interprets Scala TASTy (not JVM bytecode), reifies generic types as runtime shapes and implements heterogeneous box-free representations so… | ||
| nothing matches | ||