Realistic Compilation by Partial Evaluation.

Michael Sperber, Peter Thiemann

Browse the full PLDI paper archive.