Sign in
Incremental type-checking for free: using scope graphs to derive incremental type-checkers.
Aron Zwaan
Hendrik van Antwerpen
Eelco Visser
Published in:
Proc. ACM Program. Lang. (2022)
Keyphrases
</>
type checking
database query languages
databases
knn
query processor