Danvy. Type-directed Partial Evaluation. Springer Berlin Heidelberg, 1999, doi:10.1007/3-540-47018-2_16.