Follow
Hendrik van Antwerpen
Hendrik van Antwerpen
Verified email at tudelft.nl - Homepage
Title
Cited by
Cited by
Year
A constraint language for static semantic analysis based on scope graphs
H Antwerpen, P Néron, A Tolmach, E Visser, G Wachsmuth
Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and …, 2016
592016
Scopes as types
H van Antwerpen, C Bach Poulsen, A Rouvoet, E Visser
Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-30, 2018
482018
Language-parametric static semantic code completion
DAA Pelsmaeker, H van Antwerpen, CB Poulsen, E Visser
Proceedings of the ACM on Programming Languages 6 (OOPSLA1), 1-30, 2022
152022
Knowing when to ask: sound scheduling of name resolution in type checkers derived from declarative specifications
A Rouvoet, H Van Antwerpen, C Bach Poulsen, R Krebbers, E Visser
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-28, 2020
122020
Towards language-parametric semantic editor services based on declarative type system specifications
DAA Pelsmaeker, H Van Antwerpen, E Visser
Proceedings Companion of the 2019 ACM SIGPLAN International Conference on …, 2019
102019
Incremental type-checking for free: Using scope graphs to derive incremental type-checkers
A Zwaan, H van Antwerpen, E Visser
Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 424-448, 2022
82022
Ika
M Brunsfeld, P Thomson, A Hlynskyi, J Vera, P Turnbull, T Clem, ...
Tuan-Anh Nguyen, Stafford Brunk, Niranjan Hasabnis, bfredl, Mingkai Dong …, 2022
82022
Scope states: Guarding safety of name resolution in parallel type checkers
H Van Antwerpen, E Visser
35th European Conference on Object-Oriented Programming (ECOOP 2021), 2021
72021
From definitional interpreter to symbolic executor
AD Mensing, H Van Antwerpen, C Bach Poulsen, E Visser
Proceedings of the 4th ACM SIGPLAN International Workshop on Meta …, 2019
52019
Dynamic data-driven experiments in the smart grid domain with a multi-agent platform
Z Genç, M Oey, H van Antwerpen, F Brazier
Multi-Agent Based Simulation XVI: International Workshop, MABS 2015 …, 2016
52016
Scope graphs: The story so far
A Zwaan, H van Antwerpen
Eelco Visser Commemorative Symposium (EVCS 2023), 2023
42023
Stack graphs: Name resolution at scale
DA Creager, H van Antwerpen
arXiv preprint arXiv:2211.01224, 2022
22022
A constraint language for static semantic analysis based on scope graphs with proofs
H van Antwerpen, P Néron, AP Tolmach, E Visser, G Wachsmuth
Technical Report TUD-SERG-2015-012, Software Engineering Research Group …, 2016
12016
Incremental Type Checking for Free
A Zwaan, H VAN ANTWERPEN, E VISSER
Delft University of Technology, 2022
2022
Scope States (Artifact)
H van Antwerpen, E Visser
Schloss Dagstuhl-Leibniz-Zentrum für Informatik, 2021
2021
A Constraint-based Approach to Name Binding and Type Checking using Scope Graphs
H Van Antwerpen
2016
Language-Independent Type-Dependent Name Resolution
H van Antwerpen, P Neron, AP Tolmach
def 1, 1, 2015
2015
Stack graphs
DA Creager, H van Antwerpen
The system can't perform the operation now. Try again later.
Articles 1–18