Robert Harper
E813711
Robert Harper is a prominent computer scientist known for his foundational work in programming language theory and type systems, particularly in connection with the development of Standard ML.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Robert Harper canonical | 5 |
Statements (46)
| Predicate | Object |
|---|---|
| instanceOf | computer scientist ⓘ |
| affiliation | School of Computer Science, Carnegie Mellon University NERFINISHED ⓘ |
| almaMater | Cornell University NERFINISHED ⓘ |
| countryOfCitizenship | United States of America ⓘ |
| employer | Carnegie Mellon University NERFINISHED ⓘ |
| fieldOfWork |
computer science
ⓘ
programming language theory ⓘ programming languages ⓘ type systems ⓘ type theory ⓘ |
| hasAcademicAdvisor | John C. Reynolds NERFINISHED ⓘ |
| hasAcademicDiscipline |
logic in computer science
ⓘ
theoretical computer science ⓘ |
| hasBlog | Existential Type NERFINISHED ⓘ |
| hasContribution |
advancement of proof-directed program design
ⓘ
connections between logic and programming ⓘ development of type-theoretic foundations for programming languages ⓘ formalization of module systems ⓘ |
| hasResearchArea |
constructive type theory
ⓘ
logical frameworks ⓘ semantics of programming languages ⓘ |
| hasRole |
graduate advisor
ⓘ
researcher in programming language theory ⓘ textbook author ⓘ |
| hasTaught |
programming languages courses at Carnegie Mellon University
ⓘ
type theory courses at Carnegie Mellon University ⓘ |
| hasWritten |
Practical Foundations for Programming Languages
NERFINISHED
ⓘ
Practical Foundations for Programming Languages, 2nd edition NERFINISHED ⓘ Programming in Standard ML NERFINISHED ⓘ |
| influenced |
design of Standard ML type system
ⓘ
research in type theory for programming languages ⓘ |
| knownFor |
contributions to Standard ML
ⓘ
contributions to functional programming ⓘ foundational work in programming language theory ⓘ work on type systems ⓘ |
| languageOfWorkOrName | English ⓘ |
| notableFor |
educational contributions in programming languages
ⓘ
influencing modern type system design ⓘ |
| notableWork |
Practical Foundations for Programming Languages
NERFINISHED
ⓘ
Programming in Standard ML NERFINISHED ⓘ |
| occupation | professor ⓘ |
| researchInterest |
functional programming languages
ⓘ
module systems ⓘ operational semantics ⓘ proof theory ⓘ type safety ⓘ |
Referenced by (5)
Full triples — surface form annotated when it differs from this entity's canonical label.