O. Danvy and R. Vestergaard, “Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation”, BRICS, vol. 3, no. 13, Jan. 1996.