Foundations for partial evaluation of functional programs with computational effects
John Hatcliff · ACM Computing Surveys · 1998
Research on partial evaluation has ourished 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.