Aron Zwaan

According to our database, Aron Zwaan authored at least 6 papers between 2022 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

A Monadic Framework for Name Resolution in Multi-phased Type Checkers.

Casper Bach Poulsen, Aron Zwaan, Paul Hübner

Proceedings of the 22nd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2023

Scope Graphs: The Story so Far.

Aron Zwaan, Hendrik van Antwerpen

Proceedings of the Eelco Visser Commemorative Symposium, 2023

Dependently Typed Languages in Statix.

Jonathan Brouwer, Jesper Cockx, Aron Zwaan

Proceedings of the Eelco Visser Commemorative Symposium, 2023

2022

Incremental type-checking for free: using scope graphs to derive incremental type-checkers.

Aron Zwaan, Hendrik van Antwerpen, Eelco Visser

Proc. ACM Program. Lang., 2022

Specializing Scope Graph Resolution Queries: Extended Edition.

Aron Zwaan

CoRR, 2022

Specializing Scope Graph Resolution Queries.

Aron Zwaan

Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering, 2022