Danvy, O. 1995. Type-Directed Partial Evaluation. DAIMI Report Series. 24, 494 (Nov. 1995). DOI:https://doi.org/10.7146/dpb.v24i494.7022.