A. Filinski, “A Semantic Account of Type-Directed Partial Evaluation”, BRICS, vol. 6, no. 17, Jan. 1999.