Eelco Visser: Specification of Type Systems in Spoofax

Event Details

The Spoofax language workbench supports the creation of programming environments for software languages using high-level declarative meta-languages for the various aspects of language definition. In this talk, I will give a brief overview of the capabilities of Spoofax and then zoom in on its meta-language for the specification of type systems based on scope graphs for name binding and type constraints.

– A Theory of Name Resolution. ESOP 2016.
– A constraint language for static semantic analysis based on scope graphs. PEPM 2016.