[gsg]

Lambda lifting is an alternative to closure conversion, so it doesn't get rid of closures so much as obviate introducing them at all.

The two transformations are fairly closely related, actually. You can view lambda lifting as closure conversion plus flattening, in the case where the code pointer is unnecessary.