CPS transformation and partial evaluation

[Jost Boekemeier <jostobfe at linux dot zrz dot TU-Berlin dot DE>]

[translating foreign languages into scheme]

Mikael Djurfeldt <mdj@mdj.nada.kth.se> writes:

>  We have wonderful tools such as partial evaluators and cps.  For
> example, it's not necessary to use tagbody forms or continuations to
> handle jumps.

Yeah.  Do you have references to good papers that discuss partial
evaluators?  All I've red about CPS is that although it is easy to do
certain optimizations after CPS transformation it is possible and
probably better to do the optimizations in the source language.
[I think I've seen comments from Matthias Felleisen about it, but
I can't remember when and where].



Jost