Danvy, O.; Vestergaard, R. Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation. BRICS 1996, 3.