Removing Value Encoding Using Alternative Values in Partial Evaluation of Strongly-Typed Languages.

Denis Bchet

Browse the full ESOP paper archive.