| 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 | 43 | 2016 |
| 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 | 22 | 2018 |
| Dynamic data-driven experiments in the smart grid domain with a multi-agent platform Z Genç, M Oey, H van Antwerpen, F Brazier International Workshop on Multi-Agent Systems and Agent-Based Simulation …, 2015 | 5 | 2015 |
| Towards language-parametric semantic editor services based on declarative type system specifications (Brave new idea paper) DAA Pelsmaeker, H van Antwerpen, E Visser 33rd European Conference on Object-Oriented Programming (ECOOP 2019), 2019 | 4 | 2019 |
| 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 | 2 | 2019 |
| 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 | 1 | 2019 |
| 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 | 1 | 2016 |
| 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 | | 2020 |
| 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, A Tolmach, E Visser, G Wachsmuth Report TD-SERG-2015-006, 2015 | | 2015 |
Eelco VisserProfessor of Computer Science, Delft University of TechnologyVerified email at tudelft.nl
