Filinski, A. A Semantic Account of Type-Directed Partial Evaluation. BRICS 1999, 6.