Benjamin Pierce ACM Fellows (2012) ACM Fellows USA - 2012 citation For contributions to the theory and practice of programming languages and their type systems.