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 |
How this entity was disambiguated
This entity first appeared as the object of triple T9566674 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Robert Harper Context triple: [Standard ML, designedBy, Robert Harper]
-
A.
Robert Harper
Robert Harper was an 18th-century millwright and early settler whose establishment of a ferry and town at the confluence of the Potomac and Shenandoah Rivers led to the community later known as Harpers Ferry, West Virginia being named in his honor.
-
B.
Chris Harper
Chris Harper is a theatre producer best known as the co-founder of the acclaimed London-based company Elliott & Harper Productions alongside director Marianne Elliott.
-
C.
Joe Harper
Joe Harper is a minor character in Mark Twain's classic novel "The Adventures of Tom Sawyer," known as one of Tom's close friends and fellow mischief-makers in the fictional town of St. Petersburg.
-
D.
Alan Harper
Alan Harper is a neurotic, financially struggling chiropractor and divorced father who serves as the uptight, unlucky-in-love foil to his hedonistic brother on the sitcom "Two and a Half Men."
-
E.
John Harper
John Harper is a member of the Harper family, known primarily in relation to this familial association.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: Robert Harper Target entity description: 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.
-
A.
Robert Harper
Robert Harper was an 18th-century millwright and early settler whose establishment of a ferry and town at the confluence of the Potomac and Shenandoah Rivers led to the community later known as Harpers Ferry, West Virginia being named in his honor.
-
B.
Chris Harper
Chris Harper is a theatre producer best known as the co-founder of the acclaimed London-based company Elliott & Harper Productions alongside director Marianne Elliott.
-
C.
Joe Harper
Joe Harper is a minor character in Mark Twain's classic novel "The Adventures of Tom Sawyer," known as one of Tom's close friends and fellow mischief-makers in the fictional town of St. Petersburg.
-
D.
Alan Harper
Alan Harper is a neurotic, financially struggling chiropractor and divorced father who serves as the uptight, unlucky-in-love foil to his hedonistic brother on the sitcom "Two and a Half Men."
-
E.
John Harper
John Harper is a member of the Harper family, known primarily in relation to this familial association.
- F. None of above. chosen
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 ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Input
Subject: Robert Harper Description of subject: 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.
Referenced by (5)
Full triples — surface form annotated when it differs from this entity's canonical label.