Lambda Lifting

Johnsson, T. (1985). Lambda Lifting: Transforming Programs to Recursive Equations.

Type

Unclassified

Intellectual base

Unclassified

Year

1985

DOI

10.1007/3-540-15975-4_37

Link

https://doi.org/10.1007/3-540-15975-4_37

Cited by

1 citation across 1 artifact.

Domain-specific

• Lambda lifting
  • Lambda lifting consists of free-variable elimination followed by function lifting, with call sites extended to pass captured values explicitly rather than constructing runtime closures.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:192a771c94de · see in the full table