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