Dimi Racordon
where else to find them
github:kyouko-taiga
linkedin:dimi-racordon-830972104
what they talk about
all 5 in the filters
where they keep going back
no series more than once — all 6 in the filters
on a stage with
- Dave Abrahams2×
- Benjamin W Chungonce
- Edward Leeonce
all 12 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Existentialize your Generics | MPLR 2025 | 2025-10-14 |
Claims that existentialization factors method tables out of object headers to give dynamic dispatch without boxing, implemented via type-class-style witnesses… | ||
| 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… | ||
| Functional Programming And the Real World | Scala Days 2025 | 2025-08-19 |
Panelists argue concrete claims: Rust is argued to be effectively functional in safe code and NAS translates Rust to Lean for verification; Zig and Rust trade… | ||
| Use Site Checking Considered Harmful | Onward! 2024 | 2024-10-23 |
Argues that use-site checking—deferring generic type checks until concrete instantiation—pushes errors to call sites, breaks local reasoning, and lets hidden… | ||
| Method Bundles (New Ideas/Vision paper) | SLE 2024 | 2024-10-20 |
Hyo introduces method bundles that group in-place, copy, and consuming variants under one name and let the compiler pick the right implementation. A linear… | ||
| Type Checking with Rewriting Rules | SLE 2024 | 2024-10-20 |
Claims that recursive type-class constraints are undecidable are addressed by encoding constraints as term rewriting rules and using Knuth-Bendix completion to… | ||
| Borrow checking Hylo | IWACO 2023 | 2023-10-24 |
Hylo aims for C++-level speed with guaranteed freedom from undefined behavior by running borrow checking on Hylo IR using an abstract interpreter that models… | ||
| Oxidize: A Step-Debugger for Static Semantics | IWACO 2023 | 2023-10-24 |
A static step-debugger for Rust-like ownership semantics that actually simulates the borrow checker by stepping three explicit contexts: a type context, a… | ||
| nothing matches | ||