Fellow
United States – 2005
CITATION

For contributions to type systems for programming languages.