conf.researchr.org / Hendrik van Antwerpen
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