Hendrik van Antwerpen

According to our database, Hendrik van Antwerpen authored at least 13 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Scope Graphs: The Story so Far.

Aron Zwaan, Hendrik van Antwerpen

Proceedings of the Eelco Visser Commemorative Symposium, 2023

Stack Graphs: Name Resolution at Scale.

Douglas A. Creager, Hendrik van Antwerpen

Proceedings of the Eelco Visser Commemorative Symposium, 2023

2022

Incremental type-checking for free: using scope graphs to derive incremental type-checkers.

Aron Zwaan, Hendrik van Antwerpen, Eelco Visser

Proc. ACM Program. Lang., 2022

Language-parametric static semantic code completion.

Daniël A. A. Pelsmaeker, Hendrik van Antwerpen, Casper Bach Poulsen, Eelco Visser

Proc. ACM Program. Lang., 2022

2021

Scope States (Artifact).

Hendrik van Antwerpen, Eelco Visser

Dagstuhl Artifacts Ser., 2021

Scope States: Guarding Safety of Name Resolution in Parallel Type Checkers.

Hendrik van Antwerpen, Eelco Visser

Proceedings of the 35th European Conference on Object-Oriented Programming, 2021

2020

Knowing when to ask: sound scheduling of name resolution in type checkers derived from declarative specifications.

Arjen Rouvoet, Hendrik van Antwerpen, Casper Bach Poulsen, Robbert Krebbers, Eelco Visser

Proc. ACM Program. Lang., 2020

2019

Towards language-parametric semantic editor services based on declarative type system specifications.

Daniël A. A. Pelsmaeker, Hendrik van Antwerpen, Eelco Visser

Proceedings of the Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, 2019

From definitional interpreter to symbolic executor.

Adrian D. Mensing, Hendrik van Antwerpen, Casper Bach Poulsen, Eelco Visser

Proceedings of the 4th ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection, 2019

Towards Language-Parametric Semantic Editor Services Based on Declarative Type System Specifications (Brave New Idea Paper).

Daniël A. A. Pelsmaeker, Hendrik van Antwerpen, Eelco Visser

Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019

2018

Scopes as types.

Hendrik van Antwerpen, Casper Bach Poulsen, Arjen Rouvoet, Eelco Visser

Proc. ACM Program. Lang., 2018

2016

A constraint language for static semantic analysis based on scope graphs.

Hendrik van Antwerpen, Pierre Neron, Andrew P. Tolmach, Eelco Visser, Guido Wachsmuth

Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2016

2015

Dynamic Data-Driven Experiments in the Smart Grid Domain with a Multi-agent Platform.

Zülküf Genç, Michel A. Oey, Hendrik van Antwerpen, Frances M. T. Brazier

Proceedings of the Multi-Agent-Based Simulation XVI - International Workshop, 2015