Overview

In the following section we briefly review offline partial evaluation. In Sec. 2, we present two applications--parser generation and exception handling--which benefit from a partial evaluator capable of dealing with eval, apply, and call/cc. Section 3 informally explains the specializer's treatment of these reflective operators. In Sec. 4 we present the formal development of our binding-time analysis in a type-based framework. We briefly discuss automatic type reconstruction for the underlying type system in Sec. 5 outline the specialization algorithm in Sec. 6. Finally, Section 7 considers related work.

Throughout, we assume some familiarity with partial evaluation in general [10,21] and with type-based binding-time analysis [16,17,19,7].