Bruno C. d. S. Oliveira
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 4 in the filters
on a stage with
- Jinxu Zhaoonce
- Sam Lindleyonce
- Shengyi Jiangonce
all 7 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| 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… | ||
| The Inexact Superclass Problem | UNSOUND 2024 | 2024-10-20 |
Claims that TypeScript’s mixin pattern for first‑class classes and dynamic inheritance is type‑unsound, and demonstrates a concrete counterexample: a mixin… | ||
| Revisiting Iso-Recursive Subtyping | SPLASH 2022 | 2022-12-05 |
Presents a new declarative finite unfolding specification that says two mu-types are subtypes iff all same-depth finite unfoldings are subtypes, proves the… | ||
| 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 | ||