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

[Fellows]   [Awards]