Emir Pasalic Nathan Linger Meta-programming with Typed Object-Language Representations. 136-167 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3286&spage=136 2004 conf/gpce/2004 GPCE db/conf/gpce/gpce2004.html#PasalicL04