Incrementalizing Statix - A Modular and Incremental Approach for Type Checking and Name Binding using Scope Graphs

Taico Aerts


Date: Thu, September 26, 2019
Time: 15:00
Room: Social Data Lab 0.E220
Note: This is a MSc thesis defense



Previous: Eelco Visser |
Next: TBA |