A STRONGLY-TYPED SELF-APPLICABLE PARTIAL EVALUATOR

When attempting self-application of a partial evaluator written in and for a strongly-typed language several problems arise that do not seem to occur in the untyped world. These problems have hindered the production of a self-applicable partial evaluator in such languages for a number of years. In this paper we report on what is, to the best of our knowledge, the first successful attempt to produce such a partial evaluator and, in the process, we discuss some theoretical aspects of partial evaluation raised by strong-typing.