Statements (58)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
Person
|
| gptkbp:academicAdvisor |
gptkb:Benjamin_C._Pierce
|
| gptkbp:affiliation |
gptkb:Carnegie_Mellon_University
|
| gptkbp:awards |
ACM Fellow
IEEE Fellow |
| gptkbp:collaborations |
gptkb:Andrew_W._Appel
gptkb:Benjamin_C._Pierce gptkb:Mark_P._Jones gptkb:Philip_Wadler |
| gptkbp:contribution |
Compiler_Design
Type_Systems Functional_Programming |
| gptkbp:education |
gptkb:University_of_Pennsylvania
|
| gptkbp:field |
Programming Languages
|
| https://www.w3.org/2000/01/rdf-schema#label |
Robert Harper
|
| gptkbp:influencedBy |
gptkb:Alonzo_Church
gptkb:Peter_Landin gptkb:John_McCarthy gptkb:Henk_Barendregt |
| gptkbp:knownFor |
Computer Science
|
| gptkbp:notableWork |
Coq Proof Assistant
Haskell Language ML Language |
| gptkbp:publications |
gptkb:Programming_Language_Pragmatics
The Essence of Functional Programming A Survey of Type Systems A Type System for Polymorphism Practical Type Inference The Essence of Type Systems The Logic of Typed Lambda Calculi The Role of Types in Programming Languages Type Theory and Formal Proofs Type-Directed Partial Evaluation Type_Systems_for_Programming_Languages Functional_Programming_in_the_Real_World The_Future_of_Programming_Languages Type_Systems_for_Artificial_Intelligence Type_Systems_for_Blockchain_Technology Type_Systems_for_Concurrent_Languages Type_Systems_for_Cyber-Physical_Systems Type_Systems_for_Database_Programming Type_Systems_for_Distributed_Systems Type_Systems_for_Domain-Specific_Languages Type_Systems_for_Embedded_Languages Type_Systems_for_Hardware_Description_Languages Type_Systems_for_Internet_of_Things Type_Systems_for_Machine_Learning Type_Systems_for_Object-Oriented_Languages Type_Systems_for_Quantum_Computing Type_Systems_for_Reactive_Systems Type_Systems_for_Real-Time_Systems Type_Systems_for_Scripting_Languages Type_Systems_for_Security Type_Systems_for_Web_Programming |
| gptkbp:researchInterest |
Formal Methods
Software Verification Type Safety Programming_Language_Semantics |