Hendrik van Antwerpen
According to our database1, Hendrik van Antwerpen authored at least 7 papers between 2015 and 2020.
Legend:Book In proceedings Article PhD thesis Other
Knowing when to ask: sound scheduling of name resolution in type checkers derived from declarative specifications.
Proc. ACM Program. Lang., 2020
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
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
Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2016
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