[PRL] Type-directed partial evaluation

[David Herman]

Replying to myself here:

> But that doesn't mean it wouldn't be nice to be able to use this 
> technique with effectful code. For example, taking a compiled program 
> and trying to embed it into a host program. You could use TDPE to 
> specialize the host program for the embedded program in order to 
> optimize it or improve error reporting, and you'd like to be able to 
> allow the embedded program to perform side-effects. I wonder if 
> there's a way to use CPS or monadic style?

Later parts of Danvy's paper address exactly this issue. I have yet to 
grok them but the basic idea seems to be that effects have to be 
explicitly CPS'ed.

Dave