Fellow
United States – 2008
CITATION

For contributions to programming language theory and systems.