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