Type Checkers from Declarative Type System Specifications in Statix
Eelco Visser
Talk at Strumenta Community Meetup
June 11, 2020

This was the second of two talks I gave on Spoofax at the Strumenta language engineering community virtual meet-up. In this talk I focused on the Statix language for type system definition

See the slides and video recording of my subsequent PLDI’20 tutorial.