A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is application/pdf
.
An Extensional Characterization of Lambda-Lifting and Lambda-Dropping
1999
BRICS Report Series
Lambda-lifting and lambda-dropping respectively transform a block-structured<br />functional program into recursive equations and vice versa.<br />Lambda-lifting was developed in the early 80's, whereas lambda-dropping<br />is more recent. Both are split into an analysis and a transformation.<br />Published work, however, has only concentrated on the analysis parts.<br />We focus here on the transformation parts and more precisely on their<br />correctness, which appears never to have been
doi:10.7146/brics.v6i21.20078
fatcat:7mewkeq4ivbfjdmbo5on7q7lr4