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