Lambda-Lifting (Plan)

um ein Programm zu erhalten, bei dem alle Abstraktionen global sind:

• bisher: closure conversion + mathend000# lifting:

  (verwendet Tupel)

• Alternative: lambda lifting

  (reiner λ mathend000#-Kalkül, keine zusätzlichen Datenstrukturen)