Publications

• 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

  Language-parametric static semantic code completion

  D.A.A. Pelsmaeker / H. van Antwerpen / C.B. Poulsen / Eelco Visser

• 2021

  Scope states

  Guarding safety of name resolution in parallel type checkers
  Hendrik Van Antwerpen / Eelco Visser

• 2020

  Knowing when to ask

  Sound scheduling of name resolution in type checkers derived from declarative specifications
  Arjen Rouvoet / Hendrik Van Antwerpen / Casper Bach Poulsen / Robbert Krebbers / Eelco Visser

• More publications