This paper develops a new method to construct a partial evaluator for high order functional language. This method is based on the CLOSURE analysis. With the analysis, the authors purpose an efficient binding time analysis so that the quality of the residual code produced by the specializatoin is improved. In this paper, all of the phases in the partial evaluator are described formly.