Hendrik van Antwerpen

According to our database1, Hendrik van Antwerpen authored at least 7 papers between 2015 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
Knowing when to ask: sound scheduling of name resolution in type checkers derived from declarative specifications.
Proc. ACM Program. Lang., 2020

2019
Towards language-parametric semantic editor services based on declarative type system specifications.
Proceedings of the Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, 2019

From definitional interpreter to symbolic executor.
Proceedings of the 4th ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection, 2019

Towards Language-Parametric Semantic Editor Services Based on Declarative Type System Specifications (Brave New Idea Paper).
Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019

2018
Scopes as types.
Proc. ACM Program. Lang., 2018

2016
A constraint language for static semantic analysis based on scope graphs.
Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2016

2015
Dynamic Data-Driven Experiments in the Smart Grid Domain with a Multi-agent Platform.
Proceedings of the Multi-Agent-Based Simulation XVI - International Workshop, 2015


  Loading...