Balat V, Danvy O. Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation (Preliminary Version). BRICS [Internet]. 13. juni 1997 [henvist 5. december 2025];4(43). Tilgængelig hos: https://tidsskrift.dk/brics/article/view/18969