Techniques for Partial Evaluation of Imperative Languages.

Uwe Meyer

Browse the full PEPM paper archive.