Aron Zwaan

11 papers A 1B 2Journal 6Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
Language-Parametric Reference Synthesis (Extended).
CoRR
Daniël A. A. Pelsmaeker, Aron Zwaan, Casper Bach Poulsen, Arjan J. Mooij
2025 J jnl
Language-Parametric Reference Synthesis.
Proc. ACM Program. Lang.
Daniël A. A. Pelsmaeker, Aron Zwaan, Casper Bach Poulsen, Arjan J. Mooij
2024 J jnl
Defining Name Accessibility Using Scope Graphs (Artifact).
Dagstuhl Artifacts Ser.
Aron Zwaan, Casper Bach Poulsen
2024 A conf
Defining Name Accessibility Using Scope Graphs.
ECOOP
Aron Zwaan, Casper Bach Poulsen
2024 J jnl
Defining Name Accessibility using Scope Graphs (Extended Edition).
CoRR
Aron Zwaan, Casper Bach Poulsen
2023 B conf
A Monadic Framework for Name Resolution in Multi-phased Type Checkers.
GPCE
Casper Bach Poulsen, Aron Zwaan, Paul Hübner
2023 — conf
Dependently Typed Languages in Statix.
Eelco Visser Commemorative Symposium
Jonathan Brouwer, Jesper Cockx, Aron Zwaan
2023 — conf
Scope Graphs: The Story so Far.
Eelco Visser Commemorative Symposium
Aron Zwaan, Hendrik van Antwerpen
2022 J jnl
Incremental type-checking for free: using scope graphs to derive incremental type-checkers.
Proc. ACM Program. Lang.
Aron Zwaan, Hendrik van Antwerpen, Eelco Visser
2022 B conf
Specializing Scope Graph Resolution Queries.
SLE
Aron Zwaan
2022 J jnl
Specializing Scope Graph Resolution Queries: Extended Edition.
CoRR
Aron Zwaan