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.

Links
– http://www.metaborg.org
– A Theory of Name Resolution. ESOP 2016. http://dx.doi.org/10.1007/978-3-662-46669-8_9
– A constraint language for static semantic analysis based on scope graphs. PEPM 2016. http://doi.acm.org/10.1145/2847538.2847543