Fellow
United States – 2001
CITATION

For research on the use of types in programming languages, for clarifying the semantical basis for types, and for influencing the design of modern programming languages.