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] [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] [slides].

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].