Aron Zwaan
where else to find them
no profile links on file
what they talk about
where they keep going back
- OOPSLA2 editions2022–2025
on a stage with
- Arjan J. Mooijonce
- Casper Bachonce
- Casper Bach Poulsenonce
all 7 in the filters
who talks about the same things
nobody close enough yet
| 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… | ||
| A Monadic Framework for Name Resolution in Multi-Phased Type Checkers | GPCE 2023 | 2023-10-22 |
Paper builds a monadic interface for phased name resolution that detects and rejects subtle phasing errors by checking whether later-added bindings would… | ||
| 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… | ||
| nothing matches | ||