Danvy, O. “Type-Directed Partial Evaluation”. DAIMI Report Series, vol. 24, no. 494, Nov. 1995, doi:10.7146/dpb.v24i494.7022.