lambda lifting: transform a program involving explicit lambda abstractions into an equivalent one which uses only top-level supercombinator definitions.
lambda lifting: transform a program involving explicit lambda abstractions into an equivalent one which uses only top-level supercombinator definitions.