Engineering Proof by Reflection in Agda. - Paul van der Walt; Wouter Swierstra (IFL, 2012)

Constraining application behaviour by generating languages. - Paul van der Walt (ELS, 2015)

A language-independent methodology for compiling declarations into open platform frameworks. (Compilation de déclarations dans des cadriciels : une méthodologie indépendante du langage). - Paul van der Walt (2015)

Frameworks compiled from declarations: a language-independent approach. - Paul van der Walt; Charles Consel; Emilie Balland (Softw. Pract. Exp., 2017)