Walid Taha A Gentle Introduction to Multi-stage Programming, Part II. 260-290 2007 GTTSE http://dx.doi.org/10.1007/978-3-540-88643-3_6 conf/gttse/2007 db/conf/gttse/gttse2007.html#Taha07