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

[SIGPLAN] SIGPLAN Notices  

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