Hendrik van Antwerpen
where else to find them
what they talk about
where they keep going back
- OOPSLA3 editions2018–2022
on a stage with
all 7 in the filters
who talks about the same things
- Arjen Rouvoet6 talks
- Casper Bach Poulsen11 talks
- Casper Bach2 talks
- Eelco Visser9 talks
- Robbert Krebbers26 talks
- Guannan Wei21 talks
| title | conference | date |
|---|---|---|
| Incremental Type-Checking for Free: Using Scope Graphs to Derive Incremental Type-Checkers | OOPSLA 2022 | 2022-12-05 |
Automatic derivation of incremental type-checkers from Statix meta-DSL specifications uses scope graphs to turn name-resolution queries into precise inter-unit… | ||
| Language-parametric static semantic code completion | OOPSLA 2022 | 2022-12-05 |
Implements a language‑parametric code completion that is sound and complete by construction: it reinterprets Statix static semantics and SDF3 syntax to expand… | ||
| 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… | ||
| Scopes as Types | OOPSLA 2018 | 2018-11-07 |
Scope graphs model name binding and the paper’s main claim is that treating scopes as types lets one encode structural and generic type internals uniformly. A… | ||
| nothing matches | ||