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