| 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 | 68 | 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 | 61 | 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 | 22 | 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 | 19 | 2020 |
| Scope graphs: The story so far A Zwaan, H van Antwerpen 2023 Eelco Visser Commemorative Symposium, EVCS 2023, 32, 2023 | 12 | 2023 |
| 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 | 12 | 2022 |
| 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 | 11 | 2019 |
| Ika M Brunsfeld, P Thomson, A Hlynskyi, J Vera, P Turnbull, T Clem, ... Tuan-Anh Nguyen, Stafford Brunk, Niranjan Hasabnis, bfredl, Mingkai Dong …, 2022 | 10 | 2022 |
| 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 | 10 | 2021 |
| 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 | 10 | 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 | 6 | 2016 |
| Stack graphs: Name resolution at scale DA Creager, H van Antwerpen arXiv preprint arXiv:2211.01224, 2022 | 4 | 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 |
| Declarative Name Binding for Type System Specifications H van Antwerpen | | 2024 |
| 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 |
| 33rd European Conference on Object-Oriented Programming (ECOOP 2019) S Meier, S Mover, BYE Chang, K Fernandez-Reyes, D Clarke, L Henrio, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2019 | | 2019 |
| 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 |
| Stack graphs DA Creager, H van Antwerpen | | |
Eelco VisserProfessor of Computer Science, Delft University of TechnologyVerified email at tudelft.nl
