Foundations of meta-programming

Slides of my lecture at the International Summer School on Metaprogramming at Robinson College, Cambridge, 8th to 12th August 2016.

Download: pdf.