A Staging Calculus and its Application to the Verification of Translators.

Robert Muller

Browse the full POPL paper archive.