I did write a thesis on macro hacking and embedded languages, and it wasn't theoretical enough to be useful. The stuff I had for the compiler's phase ordering problem was done better by other people.