(Q4888368)
Statements
1963
1 reference
1 reference
4 July 2020
2012
For contributions to the theory and practice of programming languages and their type systems. (English)
For contributions to the theory and practice of programming languages and their type systems (English)
11 December 2012
1 reference
4 July 2020
Identifiers
1 reference
1 reference
Sitelinks
Wikipedia(3 entries)
- arwiki بنجامين س. بيرس
- enwiki Benjamin C. Pierce
- mgwiki Benjamin C. Pierce