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 Apr. 18];4(43). Available from: https://tidsskrift.dk/brics/article/view/18969