Lambda, the ultimate label or a simple optimizing compiler for Scheme. See Talcott [1994 (1994)

by W D Clinger, L T Hansen