A Generic Framework for Specialization

摘要

We present a generic framework for specifying and implementing offline partial evaluators. The framework provides the infrastructue for specializing higher-order programs with computational effects specified through a monad. It performs sound specialization for al monadic instances and is evaluation-order independent. It subsumes most previously published partial evaluators for higher-order functional programming languages in the sense that they are instances of the gneric framework with respect to a particular monad.