Emir Pasalic Walid Taha Tim Sheard Tagless staged interpreters for typed languages. 218-229 2002 ICFP http://doi.acm.org/10.1145/581478.581499 db/conf/icfp/icfp2002.html#PasalicTS02