Static and Dynamic Program Compilation by Interpreter Specialization Scott ThibaultCharles ConselGilles Muller OriginalPaper Pages: 161 - 178
Linear-Time Self-Interpretation of the Pure Lambda Calculus Torben Æ. Mogensen OriginalPaper Pages: 217 - 237
A Polymorphic Environment Calculus and its Type-Inference Algorithm Shin-Ya Nishizaki OriginalPaper Pages: 239 - 278