A. Filinski, “A Semantic Account of Type-Directed Partial Evaluation”, BRICS, bd. 6, nr. 17, jan. 1999.