What exactly are administrative redexes after CPS conversion?
- by eljenso
In the context of Scheme and CPS conversion, I'm having a little trouble deciding what administrative redexes (lambdas) exactly are:
all the lambda expressions that are introduced by the CPS conversion
only the lambda expressions that are introduced by the CPS conversion but you wouldn't have written if you did the conversion "by hand" or through a smarter CPS-converter
If possible, a good reference would be welcome.