A.S. Zwaan BSc
A.S. Zwaan BSc
Expertise
Publicaties
-
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
-
Nevenwerkzaamheden
-
2023-10-18 - 2025-10-17