Lambda Lifting: Treansforming Programs to Recursive Equations.

Thomas Johnsson Lambda Lifting: Treansforming Programs to Recursive Equations. 190-203 1985 FPCA db/conf/fpca/fpca85.html#Johnsson85