template Haskell Racket Resources. What Template Haskell Gets Wrong and Racket Gets Right (EZ Yang) Type Systems as Macros (Chang, Knauth, Greenman) Foundations of Metaprogramming (Berger, slides from 2016)