Danvy, Olivier, and René Vestergaard. 1996. “Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation”. BRICS Report Series 3 (13). https://doi.org/10.7146/brics.v3i13.19976.