Dr. Benjamin C. Pierce

ACM Fellows

USA - 2012

citation

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