Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Lambda lifting

Known as: Λ-lifting, Lifting, Lambda lift 
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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2017
Review
2017
Nanomaterials are engineered materials with at least one dimension in the range of 1–100 nm. Nanofluids—nanoscale colloidal… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 2
Review
2017
Review
2017
Algebraic groups play much the same role for algebraists as Lie groups play for analysts. This book is the first comprehensive… Expand
Highly Cited
2013
Highly Cited
2013
While 3D object representations are being revived in the context of multi-view object class detection and scene understanding… Expand
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • figure 4
Highly Cited
2007
Highly Cited
2007
Department for Children, Schools and Families and Schools home page. The Department for Children, Schools and Families leads work… Expand
Highly Cited
2003
Highly Cited
2003
Localization of model category structures: Summary of part 1 Local spaces and localization The localization model category for… Expand
Highly Cited
1999
Highly Cited
1999
Recent warming has caused changes in species distribution and abundance, but the extent of the effects is unclear. Here we… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 1
Highly Cited
1996
Highly Cited
1996
Background Athletes often take androgenic steroids in an attempt to increase their strength. The efficacy of these substances for… Expand
  • table 2
  • table 3
  • table 4
  • figure 1
Highly Cited
1994
Highly Cited
1994
A control circuit for a fuel ignition system of the direct ignition type for providing an interlock on start-up to prevent the… Expand
  • figure 1
  • table 1
  • figure 2
  • figure 3
  • figure 4
Highly Cited
1994
Highly Cited
1994
Counter to the common belief that expert performance reflects innate abilities and capacities, recent research in different… Expand
  • table 1
  • figure 1
  • figure 3
  • figure 4
  • figure 5
Highly Cited
1985
Highly Cited
1985
Lambda lifting is a technique for transforming a functional program with local function definitions, possibly with free variables… Expand