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