Incremental Type-Checking for Free: Using Scope Graphs to Derive Incremental Type-Checkers (OOPSLA'22)
Aron Zwaan
Date: Wed, November 23, 2022
Time: TBA
Room: TBA
This is a SPLASH’22 talk.
Previous:
| Dependent Type-Checking Modulo Associativity and Commutativity
Next:
Cas van der Rest | Intrinsically-Typed Definitional Interpreters à la Carte (OOPSLA'22)