Lambda lifting

Known as: Closure conversion, Lambda lift, Λ-lifting 
Lambda lifting is a meta-process that restructures a computer program so that functions are defined independently of each other in a global scope. An… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1985-2017
024619852017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
This paper is a companion technical report to the article “Continuation-Passing C: from threads to events through continuations… (More)
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
2008
Highly Cited
2008
We present <i>parametric higher-order abstract syntax (PHOAS)</i>, a new approach to formalizing the syntax of programming… (More)
  • figure 2
  • figure 3
  • figure 4
  • figure 6
  • figure 9
Is this relevant?
2006
2006
Lambda lifting is a technique for transforming a program with local function definitions into a program consisting only of global… (More)
  • figure 1
  • figure 3
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
Highly Cited
2003
Highly Cited
2003
We bridge the gap between functional evaluators and abstract machines for the &#955;-calculus, using closure conversion… (More)
Is this relevant?
2002
2002
Lambda-lifting is a program transformation used in compilers and in partial evaluators and that operates in cubic time. In this… (More)
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
1999
1999
  • Olivier Danvy
  • Fuji International Symposium on Functional and…
  • 1999
Lambda-lifting and lambda-dropping respectively transform a blockstructured functional program into recursive equations and vice… (More)
Is this relevant?
1999
1999
Lambda lifting transforms local function deenitions in functional programming languages into global ones to facilitate their… (More)
Is this relevant?
1998
1998
In this paper we present a non-deterministic call-by-need (untyped) lambda calculus &amp;lambda;<inf><i>nd</i></inf> with a… (More)
Is this relevant?
1997
1997
We present a new framework for transforming data representations in a strongly typed intermediate language. Our method allows… (More)
  • figure 1
  • figure 2
  • figure 5
  • figure 6
  • figure 3
Is this relevant?
Highly Cited
1985
Highly Cited
1985
y Abstract Lambda lifting is a technique for transforming a functional program with local function deenitions, possibly with free… (More)
Is this relevant?