Lambda Lifting in Lean -- source code artifact

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text
Authors: Tom Levy, Steve Reeves
DOI: 10.5281/zenodo.18349369
Cited by: 1

Abstract

Source code artifact to accompany the paper "Simple Lambda Lifting: Formalisation in Lean and a new efficient algorithm", https://doi.org/10.1145/3793656.3793692.

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
26 January 2026