Title:  Foundations for Partial Evaluation of 
        Functional Programs with Computational Effects
Author: John Hatcliff
Source: 1998 Symposium on Partial Evaluation
        ACM Computing Surveys 30(3es), Sept, 1998.

Research on partial evaluation has flourished in the context of
pure functional languages, yet modern functional languages include
many notions of computation that partial evaluation technology
has only recently been able to handle.  We summarize how using
Moggi's computational metalanguage as intermediate language
provides a foundation for this recent advance in technology.