Fellow
United States – 2012
CITATION

For contributions to the theory and practice of programming languages and their type systems.