Type-directed Automatic Generation of Open Code Multi-Staged Programs

We present a type-directed transformation from unstaged higher-order programs into open code, multi-staged ones. Because our staging transformation is based on Kim et.al.'s type system [1] that supports open code, the resulting multi-staged programs can have code with free variables allowing intentional variable-cap-turing substitution. This means that our transformation system can generate more efficient staged program than the previous type-directed specialization techniques of Linger and Sheard [2, 3].