Fellow
United States – 1999
CITATION

For significant research contributions in type theory and programming language design, especially for work on the design and implementation of Standard ML.