In this lecture we study declarative syntax definition.
The [SEFM 2020] paper gives an overview of SDF3, the language we will use for syntax definition.
The [LDTA 2012] paper introduced ‘template-based syntax definition’. (This was one of the results of the master’s thesis work of Tobi Vollebregt.)
This is part of a tutorial on Spoofax at the PLDI 2020 conference in June 2020.
This is a talk for the OCAML 2020 workshop at the ICFP 2020 conference.