• Sign in
  • Sign up
conf.researchr.org / Hendrik van Antwerpen
  • ECOOP 2019 profile
  • POPL 2016 profile
  • SPLASH 2018 profile
  • SPLASH 2019 profile
  • SPLASH 2020 profile
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

Share
xMon 1 Mar 11:59
using conf.researchr.org (v1.42.1)
Support page
Sign Up