Balat, Vincent
-
BRICS Report Series Nr. 43 (1997): RS-43 Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation (Preliminary Version) - Artikler
Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation (Preliminary Version)
Resumé PDF (English) -
BRICS Report Series Nr. 33 (2002): RS-33 Memoization in Type-Directed Partial Evaluation - Artikler
Memoization in Type-Directed Partial Evaluation
Resumé PDF (English)