Here is a list of my academic writings. Each entry links to an abstract where you can also download full-text versions.

Frameworks compiled from declarations: a language-independent approach
Paul van der Walt, Charles Consel and Emilie Balland. 2016, Software: Practice and Experience, DOI: 10.1002/spe.2417. [pdf] [code]
A language-independent methodology for compiling declarations into open platform frameworks
Paul van der Walt. 2015, PhD thesis, Université de Bordeaux. [pdf] [bib]
Constraining application behaviour by generating languages
Paul van der Walt. 2015, 8th European Lisp Symposium, London. [pdf] [code]
Engineering Proof by Reflection in Agda
Paul van der Walt and Wouter Swierstra. 2012, 24th IFL, LNCS8241:157–173, Oxford. [pdf] [code]
Reflection in Agda
Paul van der Walt. 2012, MSc thesis, Utrecht University. [pdf] [bib]
Drastic Deadline™©®



paul (at) thisdomain
GPG: 0xEAF20AB71D1292C0