Hendrik van Antwerpen

14 papers A 2C 2Journal 6Unranked 4
YearRankTypeTitle / Venue / Authors
2023 — conf
Scope Graphs: The Story so Far.
Eelco Visser Commemorative Symposium
Aron Zwaan, Hendrik van Antwerpen
2023 — conf
Stack Graphs: Name Resolution at Scale.
Eelco Visser Commemorative Symposium
Douglas A. Creager, 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 J jnl
Language-parametric static semantic code completion.
Proc. ACM Program. Lang.
Daniël A. A. Pelsmaeker, Hendrik van Antwerpen, Casper Bach Poulsen, Eelco Visser
2022 J jnl
Stack graphs: Name resolution at scale.
CoRR
Douglas A. Creager, Hendrik van Antwerpen
2021 J jnl
Scope States (Artifact).
Dagstuhl Artifacts Ser.
Hendrik van Antwerpen, Eelco Visser
2021 A conf
Scope States: Guarding Safety of Name Resolution in Parallel Type Checkers.
ECOOP
Hendrik van Antwerpen, Eelco Visser
2020 J jnl
Knowing when to ask: sound scheduling of name resolution in type checkers derived from declarative specifications.
Proc. ACM Program. Lang.
Arjen Rouvoet, Hendrik van Antwerpen, Casper Bach Poulsen, Robbert Krebbers, Eelco Visser
2019 — conf
From definitional interpreter to symbolic executor.
META@SPLASH
Adrian D. Mensing, Hendrik van Antwerpen, Casper Bach Poulsen, Eelco Visser
2019 A conf
Towards Language-Parametric Semantic Editor Services Based on Declarative Type System Specifications (Brave New Idea Paper).
ECOOP
Daniël A. A. Pelsmaeker, Hendrik van Antwerpen, Eelco Visser
2019 — conf
Towards language-parametric semantic editor services based on declarative type system specifications.
SPLASH (Companion Volume)
Daniël A. A. Pelsmaeker, Hendrik van Antwerpen, Eelco Visser
2018 J jnl
Scopes as types.
Proc. ACM Program. Lang.
Hendrik van Antwerpen, Casper Bach Poulsen, Arjen Rouvoet, Eelco Visser
2016 C conf
A constraint language for static semantic analysis based on scope graphs.
PEPM
Hendrik van Antwerpen, Pierre Neron, Andrew P. Tolmach, Eelco Visser, Guido Wachsmuth
2015 C conf
Dynamic Data-Driven Experiments in the Smart Grid Domain with a Multi-agent Platform.
MABS
Zülküf Genç, Michel A. Oey, Hendrik van Antwerpen, Frances M. T. Brazier