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 | 8 | 2022 |
Scope graphs: The story so far A Zwaan, H van Antwerpen Eelco Visser Commemorative Symposium (EVCS 2023), 2023 | 5 | 2023 |
Specializing scope graph resolution queries A Zwaan Proceedings of the 15th ACM SIGPLAN International Conference on Software …, 2022 | 2* | 2022 |
Composable type system specification using heterogeneous scope graphs A Zwaan | 1 | 2021 |
A Monadic Framework for Name Resolution in Multi-phased Type Checkers C Bach Poulsen, A Zwaan, P Hübner Proceedings of the 22nd ACM SIGPLAN International Conference on Generative …, 2023 | | 2023 |
Rapid Language Prototyping using Spoofax A Zwaan Delft University of Technology, 2023 | | 2023 |
Dependently typed languages in statix J Brouwer, J Cockx, A Zwaan Eelco Visser Commemorative Symposium (EVCS 2023), 2023 | | 2023 |
Tooling to Detect Unwanted Thread Exits in Rust D van Cuilenborg, B van Schaick, F Stelmach, A Zwaan | | 2018 |