2024

• Antwerpen, Hendrik van. 2024. “Declarative Name Binding for Type System Specifications.” PhD thesis, Delft University of Technology. https://doi.org/10.4233/uuid:4bf44aa1-779c-4a96-8c55-5e1b54e16119. pdf doi
• ———. 2024. “Propositions Accompanying the Dissertation ‘Declarative Name Binding for Type System Specifications.’” Delft University of Technology. https://doi.org/10.4233/uuid:4bf44aa1-779c-4a96-8c55-5e1b54e16119. pdf doi

2023

• Zwaan, Aron, and Hendrik van Antwerpen. 2023. “Scope Graphs: The Story so Far.” In EVCS, edited by Ralf Lämmel, Peter D. Mosses, and Friedrich Steimann. Vol. 109. OASIcs. https://doi.org/10.4230/OASIcs.EVCS.2023.32. pdf doi
• Creager, Douglas A., and Hendrik van Antwerpen. 2023. “Stack Graphs: Name Resolution at Scale.” In EVCS. Vol. 109. OASIcs. https://doi.org/10.4230/OASICS.EVCS.2023.8. pdf doi

2022

• Zwaan, Aron, Hendrik van Antwerpen, and Eelco Visser. 2022. “Incremental Type-Checking for Free: Using Scope Graphs to Derive Incremental Type-Checkers.” PACMPL 6 (OOPSLA2): 424–48. https://doi.org/10.1145/3563303. pdf doi
• Pelsmaeker, Daniël A. A., Hendrik van Antwerpen, Casper Bach Poulsen, and Eelco Visser. 2022. “Language-Parametric Static Semantic Code Completion.” PACMPL 6 (OOPSLA): 1–30. https://doi.org/10.1145/3527329. pdf doi

2021

• Antwerpen, Hendrik van, and Eelco Visser. 2021. “Scope States: Guarding Safety of Name Resolution in Parallel Type Checkers.” In ECOOP. https://doi.org/10.4230/LIPIcs.ECOOP.2021.1. pdf doi

2020

• Rouvoet, Arjen, Hendrik van Antwerpen, Casper Bach Poulsen, Robbert Krebbers, and Eelco Visser. 2020. “Knowing When to Ask: Sound Scheduling of Name Resolution in Type Checkers Derived from Declarative Specifications.” PACMPL 4 (OOPSLA). https://doi.org/10.1145/3428248. pdf doi

2019

• Mensing, Adrian D., Hendrik van Antwerpen, Casper Bach Poulsen, and Eelco Visser. 2019. “From Definitional Interpreter to Symbolic Executor.” In OOPSLA, 11–20. https://doi.org/10.1145/3358502.3361269. pdf doi
• Pelsmaeker, Daniël A. A., Hendrik van Antwerpen, and Eelco Visser. 2019. “Towards Language-Parametric Semantic Editor Services Based on Declarative Type System Specifications (Brave New Idea Paper).” In ECOOP. https://doi.org/10.4230/LIPIcs.ECOOP.2019.26. pdf doi

2018

• Antwerpen, Hendrik van, Casper Bach Poulsen, Arjen Rouvoet, and Eelco Visser. 2018. “Scopes as Types.” PACMPL 2 (OOPSLA). https://doi.org/10.1145/3276484. pdf doi

2016

• Antwerpen, Hendrik van. 2016. “A Constraint-Based Approach to Name Binding and Type Checking Using Scope Graphs.” Master's thesis, Delft University of Technology. http://resolver.tudelft.nl/uuid:7a555c92-ee75-4e64-b58b-d8f09662f412. pdf link
• Antwerpen, Hendrik van, Pierre Néron, Andrew P. Tolmach, Eelco Visser, and Guido Wachsmuth. 2016. “A Constraint Language for Static Semantic Analysis Based on Scope Graphs.” In PEPM, 49–60. https://doi.org/10.1145/2847538.2847543. pdf doi

2015

• Genç, Zülküf, Michel A. Oey, Hendrik van Antwerpen, and Frances M. T. Brazier. 2015. “Dynamic Data-Driven Experiments in the Smart Grid Domain with a Multi-Agent Platform.” In MABS, 121–31. https://doi.org/10.1007/978-3-319-31447-1_8. doi