For his general contributions to the development of Higher Order Symbolic Programming, principally for his advancement of lexical scoping in LISP.
[Fellows] [Awards]