1 paper
Sebastian Graf, Simon Peyton Jones
Lambda lifting is a well-known transformation, traditionally employed for compiling functional programs to supercombinators. However, more recent abstract machines for functional l…