Login / Signup

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

Aron ZwaanHendrik van AntwerpenEelco Visser
Published in: Proc. ACM Program. Lang. (2022)
Keyphrases
  • type checking
  • database query languages
  • databases
  • knn
  • query processor