Two for the Price of One: Composing Partial Evaluation and Compilation.

Michael Sperber, Peter Thiemann

Browse the full PLDI paper archive.