conf.researchr.org / Hendrik van Antwerpen
![Hendrik van Antwerpen](https://conf.researchr.org/getProfileImage/hendrikvanantwerpen/2d3f530b-7183-483e-b3b6-80dd4159a4bd/small.jpg?1711484576000)
Registered user since Fri 27 Nov 2015
Name:Hendrik van Antwerpen
Country:Netherlands
Affiliation:Delft University of Technology
Personal website: http://hendrik.van-antwerpen.net/
Research interests:Programming Languages, Static Program Analysis, Type Checking, Name Resolution, Constraint Solving
Contributions
2023
SPLASH
2022
2021
2020
SPLASH
- Author of Knowing When to Ask: Sound Scheduling of Name Resolution in Type Checkers Derived from Declarative Specifications within the OOPSLA-track
- Author of Knowing When to Ask: Sound Scheduling of Name Resolution in Type Checkers Derived from Declarative Specifications within the Posters-track
- Author of Knowing When to Ask: Artifact within the OOPSLA Artifacts-track