Fellow
United States – 1998
CITATION

Significant research contributions in the area of programming languages and compilers. Important contributions to the ACM Transactions on Programming Languages and Systems.