Filinski, A. (1999) “A Semantic Account of Type-Directed Partial Evaluation”, BRICS Report Series, 6(17). doi: 10.7146/brics.v6i17.20074.