Chenand Xi. Meta-programming Through Typeful Code Representation. ACM Press, 2003, doi:10.1145/944705.944730.