| 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 | 64 | 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 | 23 | 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 | 22 | 2020 |
| Scope graphs: The story so far A Zwaan, H van Antwerpen Eelco Visser Commemorative Symposium (EVCS 2023), 32: 1-32: 13, 2023 | 12 | 2023 |
| 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), 1: 1-1: 29, 2021 | 12 | 2021 |
| Ika M Brunsfeld, P Thomson, A Hlynskyi, J Vera, P Turnbull, T Clem, ... Tuan-Anh Nguyen, Stafford Brunk, Niranjan Hasabnis, bfredl, Mingkai Dong …, 2022 | 11 | 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 |
| 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 | 10 | 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 | 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 Dagstuhl Artifacts Series 7 (2), 1: 1-1: 7, 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 |
| 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 TechnologyVahvistettu sähköpostiosoite verkkotunnuksessa tudelft.nl
