A Modular Implementation of Partial Evaluation
Christopher Colby and Peter Lee


Charles Consel and Siau Cheng Khoo have developed a technique for
parameterizing partial evaluation and binding-time analysis with
respect to abstract domains.  We have found the modules system of
Standard ML to be a useful vehicle for implementing a similar
parameterization technique.  Furthermore, the ability to parameterize
binding-time analysis indicates that the technique may be useful for
implementations of collecting interpretations in general.  This paper
describes our implementation of parameterized partial evaluation, with
a particular focus on the use of the Standard ML modules system.