Statix - Typechecking with Scope Graphs and Constraints

Hendrik van Antwerpen

Date: Wed, May 30, 2018
Time: 12:00
Room: HG.2.66 (Faculty of CEG)

In this talk I will present Statix, a meta-language for writing type checkers. Statix is a constraint language with built-in support for scope graphs. It builds on the concepts of the constraint language underlying NaBL2, but increases expressivity by generalizing the constraints and aspects of scope graph resolution. I will show examples to highlight interesting language features, and discuss our follow-up efforts.

Previous: Daco Harkes |
Next: Robbert Krebbers |