Please find a list of my publications below.

Journal Articles

Aron Zwaan, Hendrik van Antwerpen, and Eelco Visser. 2022. “Incremental Type-Checking for Free: Using Scope Graphs to Derive Incremental Type-Checkers”. Proc. ACM Program. Lang. 6, OOPSLA2, Article 140 (October 2022), 25 pages. [doi] [extended version] [artifact] [talk] [slides].

Conference Papers

Aron Zwaan. 2022. “Specializing Scope Graph Resolution Queries”. In Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering (SLE ’22), December 06–07, 2022, Auckland, New Zealand. ACM, New York, NY, USA, 13 pages. [doi] [artifact] [talk] [slides].

Jonathan Brouwer, Jesper Cockx, and Aron Zwaan. 2023. “Dependently Typed Languages in Statix”. In Eelco Visser Commemorative Symposium (EVCS 2023), April 5, 2023, Delft, Netherlands. Open Access Series in Informatics (OASIcs), vol. 109, Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 8 pages. [doi].

Aron Zwaan, and Hendrik van Antwerpen. 2023. “Scope Graphs: The Story so Far”. In Eelco Visser Commemorative Symposium (EVCS 2023), April 5, 2023, Delft, Netherlands. Open Access Series in Informatics (OASIcs), vol. 109, Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 13 pages. [doi] [slides].

Casper Bach Poulsen, Aron Zwaan, and Paul Hübner. 2023. “A Monadic Framework for Name Resolution in Multi-phased Type Checkers”. In Proceedings of the 22nd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE 2023). Association for Computing Machinery, New York, NY, USA, 14–28. [doi] [artifact].

Theses

Zwaan, A.S. 2021. “Composable Type System Specification using Heterogeneous Scope Graphs”. Master Thesis, Delft University of Technology. [thesis report].

Van Cuilenborg, D., Van Schaick, B., Stelmach, F., Zwaan, A.S. “Tooling to Detect Unwanted Thread Exits in Rust”. Bachelor Thesis, Delft University of Technology. [thesis report].