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