| 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 | 56 | 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 | 43 | 2018 |
| 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 | 13 | 2022 |
| 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 | 10 | 2020 |
| 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 | 10 | 2019 |
| 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 | 7 | 2021 |
| Ika, T M Brunsfeld, P Thomson, A Hlynskyi, J Vera, P Turnbull, T Clem, ... A. Nguyen, S. Brunk, N. Hasabnis, bfredl, M. Dong, V. Panteleev, ikrima, S …, 2022 | 6 | 2022 |
| 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 | 5 | 2019 |
| 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 | 5 | 2016 |
| 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 | 4 | 2022 |
| Scope graphs: The story so far A Zwaan, H van Antwerpen Eelco Visser Commemorative Symposium (EVCS 2023), 2023 | 2 | 2023 |
| Stack graphs: Name resolution at scale DA Creager, H van Antwerpen arXiv preprint arXiv:2211.01224, 2022 | 2 | 2022 |
| 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 |
| 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 |
Eelco VisserProfessor of Computer Science, Delft University of TechnologyVerified email at tudelft.nl
