Please add link to "Typed Syntactic Meta-programming" paper...