Hendrik van Antwerpen

Dynamic Data-Driven Experiments in the Smart Grid Domain with a Multi-agent Platform

Frances M. T. Brazier, Zülküf Genç, Michel A. Oey, 2015, MABS.

Scopes as types

Eelco Visser, Hendrik van Antwerpen, Casper Bach Poulsen, 2018, Proc. ACM Program. Lang..

From definitional interpreter to symbolic executor

Eelco Visser, Hendrik van Antwerpen, Casper Bach Poulsen, 2019, META@SPLASH.

Towards language-parametric semantic editor services based on declarative type system specifications

Eelco Visser, Daniël A. A. Pelsmaeker, Hendrik van Antwerpen, 2019, SPLASH.

Towards Language-Parametric Semantic Editor Services Based on Declarative Type System Specifications (Brave New Idea Paper)

Eelco Visser, Daniël A. A. Pelsmaeker, Hendrik van Antwerpen, 2019, ECOOP.

Knowing when to ask: sound scheduling of name resolution in type checkers derived from declarative specifications

Robbert Krebbers, Eelco Visser, Hendrik van Antwerpen, 2020, Proc. ACM Program. Lang..

Scope States (Artifact)

Hendrik van Antwerpen, Eelco Visser, 2021, Dagstuhl Artifacts Ser..

Scope States: Guarding Safety of Name Resolution in Parallel Type Checkers

Eelco Visser, Hendrik van Antwerpen, E. Visser, 2021, ECOOP.