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.