Eine Variable bezieht sich auf die, von innen nach außen suchend, nächstgelegene Bindung durch lambda, let, letrec, oder let*. Falls es keine solche lokale Bindung gibt, muß es eine Definition oder eine eingebaute Bindung mit dem entsprechenden Namen geben. Die Auswertung des Namens ergibt dann den entsprechenden Wert.