Statements (50)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:Computer_Scientist
|
| gptkbp:academic_advisor |
gptkb:Robert_Harper
|
| gptkbp:alma_mater |
gptkb:Harvard_University
|
| gptkbp:author |
gptkb:Andrew_W._Appel
gptkb:Xavier_Leroy gptkb:Frank_Pfenning |
| gptkbp:awards |
gptkb:SIGPLAN_Programming_Languages_Achievement_Award
ACM Fellow |
| gptkbp:birth_date |
1961-01-01
|
| gptkbp:birth_place |
gptkb:New_York_City
|
| gptkbp:contribution |
gptkb:developers
gptkb:educational_programs Formal Verification Functional Programming Type Theory Type Inference Research in Programming Languages Type Safety Compiler Construction Programming Language Design Research in Formal Methods Research in Type Theory Research in Software Engineering Programming Language Semantics Research in Compiler Construction Research in Educational Software Research in Functional Programming Research in Programming Language Semantics Research in Software Development Tools Research in Type Inference Research in Type Safety Research in Type Systems |
| gptkbp:editor |
gptkb:Journal_of_Functional_Programming
|
| gptkbp:field |
Computer Science
|
| https://www.w3.org/2000/01/rdf-schema#label |
Benjamin A. Pierce
|
| gptkbp:influenced |
Haskell Community
Software Engineering Community |
| gptkbp:influenced_by |
gptkb:John_W._Mc_Carthy
|
| gptkbp:known_for |
Type Systems
|
| gptkbp:nationality |
gptkb:American
|
| gptkbp:notable_work |
Types and Programming Languages
|
| gptkbp:occupation |
gptkb:Professor
|
| gptkbp:research_areas |
Formal Methods
|
| gptkbp:research_interest |
Programming Languages
|
| gptkbp:title |
gptkb:1990
Types and Programming Languages |
| gptkbp:website |
http://www.cis.upenn.edu/~bcpierce/
|
| gptkbp:work_location |
gptkb:University_of_Pennsylvania
|
| gptkbp:bfsParent |
gptkb:Benjamin_Appleton_Pierce
|
| gptkbp:bfsLayer |
5
|