Jiří Beneš
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 2 in the filters
on a stage with
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Teaching Effect Handlers in the Wild | HOPE 2026 | 2026-08-24 |
Course runs twice (2024–25) with cohorts of ~10–15, five 90‑minute lectures, five homework sets and a 100‑hour final project using the Effekt language… | ||
| The Simple Essence of Overloading: Making ad-hoc polymorphism more algebraic with(…) | OOPSLA 2025 | 2025-10-16 |
Claims that overloads are representable as explicit choices so constraint collection, solving, and resolution stay separate, using a flow-based variational… | ||
| nothing matches | ||