Hendrik van Antwerpen -

Registered user since Fri 27 Nov 2015

Name: Hendrik van Antwerpen

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

SPLASH 2020	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
META 2019	Author of From Definitional Interpreter To Symbolic Executor within the META 2019-track
SPLASH 2019	Author of Language-Parametric Semantic Editor Services based on Declarative Type System Specifications within the Posters-track
ECOOP 2019	Author of Towards Language-Parametric Semantic Editor Services within the Posters-track Author of Towards Language-Parametric Semantic Editor Services based on Declarative Type System Specifications within the Research Papers-track
SPLASH 2018	Author of Scopes as Types within the Posters-track Author of Scopes as Types within the OOPSLA-track Author of Scopes as Types within the Artifacts-track
PEPM 2016	Author of A Constraint Language for Static Semantic Analysis Based on Scope Graphs within the PEPM-track