Personal information

Activities

Employment (2)

GitHub: (Remote), NL

2021 to present | Senior Software Engineer (Code Search Team)
Employment
Source: Self-asserted source
Hendrik van Antwerpen

Delft University of Technology: Delft, NL

2015 to 2025 | PhD Candidate (Programming Languages Group)
Employment
Source: Self-asserted source
Hendrik van Antwerpen

Education and qualifications (1)

Delft University of Technology: Delft, Zuid-Holland, NL

Master of Science Computer Science (EEMCS)
Education
Source: Self-asserted source
Hendrik van Antwerpen

Works (8)

Scope Graphs: The Story so Far

Eelco Visser Commemorative Symposium (EVCS 2023)
2023 | Conference paper
Contributors: Aron Zwaan; Hendrik van Antwerpen
Source: Self-asserted source
Hendrik van Antwerpen

Stack Graphs: Name Resolution at Scale

Eelco Visser Commemorative Symposium (EVCS 2023)
2023 | Conference paper
Contributors: Douglas A. Creager; Hendrik van Antwerpen
Source: Self-asserted source
Hendrik van Antwerpen

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

Proceedings of the ACM on Programming Languages
2022-10-31 | Journal article
Contributors: Aron Zwaan; Hendrik van Antwerpen; Eelco Visser
Source: check_circle
Crossref

Language-parametric static semantic code completion

Proceedings of the ACM on Programming Languages
2022-04-29 | Journal article
Contributors: Daniel A. A. Pelsmaeker; Hendrik van Antwerpen; Casper Bach Poulsen; Eelco Visser
Source: check_circle
Crossref

Knowing When to Ask: Sound Scheduling of Name Resolution in Type Checkers Derived from Declarative Specifications

Proc. ACM Program. Lang.
2020-11 | Journal article
Source: Self-asserted source
Hendrik van Antwerpen

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

Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany
2019 | Journal article
Source: Self-asserted source
Hendrik van Antwerpen

Scopes as Types

Proceedings of the ACM on Programming Languages
2018-10 | Journal article
Source: Self-asserted source
Hendrik van Antwerpen

A Constraint Language for Static Semantic Analysis Based on Scope Graphs

Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
2016 | Conference paper
Part of ISBN: 978-1-4503-4097-7
Source: Self-asserted source
Hendrik van Antwerpen