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