Balat V, Danvy O. Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation (Preliminary Version). BRICS [Internet]. 1997 Jun. 13 [cited 2024 Oct. 19];4(43). Available from: https://tidsskrift.dk/brics/article/view/18969