Fellow
United States – 1994
CITATION

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

ACM Grace Murray Hopper Award
United States – 1988
CITATION

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