User talk:185.176.76.78

Call sites
Surely this is wrong:

''Lambda lifting is not the same as closure conversion. It requires all call sites to be adjusted (adding extra arguments to calls) and does not introduce a closure for the lifted lambda expression. In contrast, closure conversion does not require call sites to be adjusted but does introduce a closure for the lambda expression mapping free variables to values. ''

All Closure Conversions algorithms I can think of need an extra argument to pass the closure. I suggest:

''Lambda lifting is not the same as closure conversion. It requires all call sites to be adjusted by adding a variable number of new arguments, and does not introduce a closure for the lifted lambda expression. In contrast, closure conversion only requires one extra argument, the closure of the lambda expression mapping free variables to values. ''