Simple Lambda Lifting

Tom Levy, S. R. (2026). Simple Lambda Lifting: Formalisation in Lean and a new efficient algorithm. IEEE.

Type

Unclassified

Intellectual base

Unclassified

Year

2026

DOI

10.1145/3793656.3793692

Link

https://doi.org/10.1145/3793656.3793692

Cited by

1 citation across 1 artifact.

Domain-specific

• Lambda lifting
  • … semantics, nested functions and call graph, free variables, added parameters and propagation, lifted scope, recursion handling and proof or test of observational equivalence are explicit. to An applied instance preserves the same invariant under changed scale, notation, dataset, jurisdiction, or implementation..

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:6efc535c511e · see in the full table