Hornof, Luke and Trevor Jim. Certifying Compilation and Run-time Code Generation

[PESBPM 1999] (1999) the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, San Antonio, TX, USA, January 1999.  

Languages mentioned Cyclone {1998} TAL {1997} Assembly language for TALC TAL/T {1998}