Sign in
Aron Zwaan
ORCID
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 6
Top Topics
Interactive Storytelling
Database Queries
Graph Representation
Spanning Tree
Top Venues
Eelco Visser Commemorative Symposium
Proc. ACM Program. Lang.
CoRR
SLE
</>
Publications
</>
Jonathan Brouwer
,
Jesper Cockx
,
Aron Zwaan
Dependently Typed Languages in Statix.
Eelco Visser Commemorative Symposium
(2023)
Casper Bach Poulsen
,
Aron Zwaan
,
Paul Hübner
A Monadic Framework for Name Resolution in Multi-phased Type Checkers.
GPCE
(2023)
Aron Zwaan
,
Hendrik van Antwerpen
Scope Graphs: The Story so Far.
Eelco Visser Commemorative Symposium
(2023)
Aron Zwaan
Specializing Scope Graph Resolution Queries: Extended Edition.
CoRR
(2022)
Aron Zwaan
Specializing Scope Graph Resolution Queries.
SLE
(2022)
Aron Zwaan
,
Hendrik van Antwerpen
,
Eelco Visser
Incremental type-checking for free: using scope graphs to derive incremental type-checkers.
Proc. ACM Program. Lang.
6 (OOPSLA2) (2022)