Fellow
United States – 2008
CITATION

For contributions to the theory of programming languages.