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

• More publications