Benjamin Pierce

Digital Library
photo
Award Winner
Benjamin Pierce

ACM Fellows

USA - 2012

citation

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