Casper Bach
where else to find them
what they talk about
where they keep going back
- OOPSLA2 editions2020–2025
on a stage with
- Arjan J. Mooijonce
- Arjen Rouvoetonce
- Aron Zwaanonce
all 8 in the filters
who talks about the same things
- Casper Bach Poulsen11 talks
- Arjen Rouvoet6 talks
- Eelco Visser9 talks
- Hendrik van Antwerpen5 talks
- Robbert Krebbers26 talks
- Rastislav Bodík8 talks
| title | conference | date |
|---|---|---|
| Language-Parametric Reference Synthesis | OOPSLA 2025 | 2025-10-16 |
Automated refactoring preserves original declaration targets by replacing references with locked references during transformation and synthesizing concrete… | ||
| Knowing When to Ask: Sound Scheduling of Name Resolution in Type Checkers Derived from Declarative S | OOPSLA 2020 | 2020-11-15 |
Derives executable type checkers from Statix specifications by giving an operational semantics that schedules name resolution to avoid unstable queries… | ||
| nothing matches | ||