Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

28 relations
ALGOLBlock (programming)Call siteCall stack

Broader (1)

Lambda calculus

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2013
Highly Cited
2013
Memory-Efficient Hardware Architecture of 2-D Dual-Mode Lifting-Based Discrete Wavelet Transform
Memory requirements (for storing intermediate signals) and critical path are essential issues for 2-D (or multidimensional… 
Highly Cited
2013
Highly Cited
2013
On the Complexity and Approximation of Binary Evidence in Lifted Inference
Lifted inference algorithms exploit symmetries in probabilistic models to speed up inference. They show impressive performance… 
Highly Cited
2008
Highly Cited
2008
Equivalent (k0, k1)-covering and generalized digital lifting
Highly Cited
2006
Highly Cited
2006
Unrestricted Transactional Memory: Supporting I/O and System Calls Within Transactions
Hardware transactional memory has great potential to simplify the creation of correct and efficient multithreaded programs… 
Highly Cited
2003
Highly Cited
2003
Langmuir–Blodgett Films of Single-Wall Carbon Nanotubes: Layer-by-layer Deposition and In-plane Orientation of Tubes
The Langmuir–Blodgett technique has been applied to build optically homogeneous thin films of chemically solubilized single-wall… 
Highly Cited
1999
Highly Cited
1999
Weak Solutions and Attractors for Three-Dimensional Navier–Stokes Equations with Nonregular Force
A three-dimensional Navier–Stokes equation is considered. The forcing term is the derivative of a continuous function; the case… 
Highly Cited
1998
Highly Cited
1998
Development of the X-33 Aerodynamic Uncertainty Model
ABSTRACT An aerodynamic uncertainty model for the X-33 single-stage-to-orbit demonstrator aircraft has beendeveloped at NASA… 
Highly Cited
1992
Highly Cited
1992
Courtship in Drosophila montana: the effects of male auditory signals on the behaviour of flies
Highly Cited
1980
Highly Cited
1980
ROOT CONFIGURATION AND ROOT REGENERATION IN PINUS RADIATA SEEDLINGS
Root configuration of radiata pine (Pinus radiata D.Don) seedlings in the nursery was examined in relation to nutrient supply… 
1971
1971
A pilot study of the biomechanics of lifting in simulated industrial work situations
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)