DANVY, O.; VESTERGAARD, R. Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation. BRICS Report Series, v. 3, n. 13, 13 Jan. 1996.