(Q4888368)

http://editors.eptcs.org/

25 May 2018

1 reference

4 July 2020

0 references

0 references

University of Pennsylvania

1 reference

http://editors.eptcs.org/

Carnegie Mellon University

4 July 2020

educated at

1991

0 references

1 reference

0 references

1 reference

Vladimir Gapeyev

1 reference

Uwe Nestmann

1 reference

John Nathan Foster

1 reference

Michael Greenberg

1 reference

Justin Hsu

1 reference

Leonidas Lampropoulos

1 reference

Arthur Azevedo de Amorim

1 reference

2012

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

1 reference

https://awards.acm.org/award_winners/pierce_4660460#158

official website

http://www.cis.upenn.edu/~bcpierce

language of work or name

English

1 reference

http://editors.eptcs.org/

maintained by WikiProject

4 July 2020

WikiProject Mathematics

0 references

Identifiers

0 references

0 references

1 reference

inferred from linked VIAF cluster

https://viaf.org/viaf/data/viaf-20230206-links.txt.gz

National Library of Israel J9U ID

10 February 2023

987007437410105171

1 reference

National Library of Israel Names and Subjects Authority File

Library of Congress authority ID

n91012901

1 reference

6 March 2019

1 reference

27 December 2018

Nationale Thesaurus voor Auteursnamen ID

111859417

1 reference

28 August 2018

1 reference

11 August 2020

1 reference

6 July 2022

WorldCat Identities ID (superseded)

lccn-n91012901

1 reference

ACM Digital Library author ID

0 references

0 references

0 references

0 references

28 September 2020

Benjamin C. Pierce

number of subscribers

38

1 reference

20 September 2020

Types and Programming Languages

Google Scholar author ID

2kkddh0AAAAJ

0 references

Mathematics Genealogy Project ID

50223

1 reference

imported from Wikimedia project

1 reference