Filinski A. A Semantic Account of Type-Directed Partial Evaluation. BRICS [Internet]. 1999 Jan. 17 [cited 2024 Jul. 5];6(17). Available from: https://tidsskrift.dk/brics/article/view/20074