A.S. Zwaan BSc
A.S. Zwaan BSc
Expertise
Publications
-
2023
A Monadic Framework for Name Resolution in Multi-phased Type Checkers
Casper Bach Poulsen / Aron Zwaan / Paul Hübner
-
2023
Dependently Typed Languages in Statix
Jonathan Brouwer / Jesper Cockx / Aron Zwaan
-
2023
Scope Graphs
The Story so Far
Aron Zwaan / Hendrik van Antwerpen -
2022
Incremental Type-Checking for Free
Using Scope Graphs to Derive Incremental Type-Checkers
A.S. Zwaan / H. van Antwerpen / E. Visser -
2022
Specializing Scope Graph Resolution Queries
A.S. Zwaan
-
Ancillary activities
-
2023-10-18 - 2025-10-17
-
2024-08-01 - 2025-01-31
Information and communications