Haskell Curry

E213034

human logician mathematician

Haskell Curry was an American mathematician and logician known for his foundational work in combinatory logic and for inspiring the name of the Haskell programming language.

Try in SPARQL Jump to: Surface forms Disambiguation Statements Elicitation Referenced by

All labels observed (2)

Label	Occurrences
Haskell Curry canonical	10
Haskell Brooks Curry	2

How this entity was disambiguated

This entity first appeared as the object of triple T1861742 — 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: Haskell Curry
Context triple: [Alonzo Church, influenced, Haskell Curry]

A. Alonzo Church
Alonzo Church was an American mathematician and logician best known for developing lambda calculus and making foundational contributions to computability theory and mathematical logic.
B. Stephen Kleene
Stephen Kleene was an American mathematician and logician who made foundational contributions to recursion theory and the theory of computation, helping to formalize concepts of computability and influence modern computer science.
C. Dana Scott
Dana Scott is an American logician and mathematician renowned for his foundational work in domain theory, model theory, and the semantics of programming languages, for which he received the Turing Award.
D. John Backus
John Backus was an American computer scientist best known for leading the development of the Fortran programming language and contributing foundational work to programming language design and formal notation.
E. Robin Milner
Robin Milner was a pioneering British computer scientist known for his foundational work in programming language theory, type systems, and process calculi, including the development of ML and the π-calculus.
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: Haskell Curry
Target entity description: Haskell Curry was an American mathematician and logician known for his foundational work in combinatory logic and for inspiring the name of the Haskell programming language.

A. Alonzo Church
Alonzo Church was an American mathematician and logician best known for developing lambda calculus and making foundational contributions to computability theory and mathematical logic.
B. Stephen Kleene
Stephen Kleene was an American mathematician and logician who made foundational contributions to recursion theory and the theory of computation, helping to formalize concepts of computability and influence modern computer science.
C. Dana Scott
Dana Scott is an American logician and mathematician renowned for his foundational work in domain theory, model theory, and the semantics of programming languages, for which he received the Turing Award.
D. John Backus
John Backus was an American computer scientist best known for leading the development of the Fortran programming language and contributing foundational work to programming language design and formal notation.
E. Robin Milner
Robin Milner was a pioneering British computer scientist known for his foundational work in programming language theory, type systems, and process calculi, including the development of ML and the π-calculus.
F. None of above. chosen

Statements (45)

Predicate	Object
instanceOf	human ⓘ logician ⓘ mathematician ⓘ
countryOfCitizenship	United States of America ⓘ
educatedAt	Harvard University ⓘ University of Göttingen ⓘ
employer	Pennsylvania State University ⓘ
familyName	Curry ⓘ
fieldOfWork	combinatory logic ⓘ foundations of mathematics ⓘ mathematical logic ⓘ
fullName	Haskell Curry self-linksurface differs ⓘ surface form: Haskell Brooks Curry
givenName	Haskell ⓘ
hasAcademicDiscipline	logic ⓘ mathematics ⓘ
hasConceptNamedAfter	Curry (program transformation) ⓘ Curry–Howard correspondence ⓘ Curry–Howard correspondence ⓘ surface form: Curry–Howard–Lambek correspondence combinatory logic ⓘ surface form: Curry’s combinator Curry paradox ⓘ surface form: Curry’s paradox Haskell ⓘ surface form: Haskell (programming language)
hasLegacy	central figure in the development of combinatory logic ⓘ name used for the Haskell programming language ⓘ
influenced	Haskell ⓘ surface form: Haskell (programming language) functional programming ⓘ theory of programming languages ⓘ
influencedBy	Alonzo Church ⓘ Bertrand Russell ⓘ David Hilbert ⓘ Moses Schönfinkel ⓘ
knownFor	Curry–Howard correspondence ⓘ Curry–Howard correspondence ⓘ surface form: Curry–Howard–Lambek correspondence combinatory logic ⓘ surface form: Curry’s combinators Curry paradox ⓘ surface form: Curry’s paradox foundational work in combinatory logic ⓘ
languageOfWorkOrName	English ⓘ
notableIdea	combinatory logic as a foundation for mathematics ⓘ equivalence between proofs and programs ⓘ
notableStudent	William Alvin Howard ⓘ
notableWork	Curry–Howard correspondence ⓘ surface form: Curry–Howard correspondence (foundational ideas) combinatory logic ⓘ
occupation	logician ⓘ mathematician ⓘ
sexOrGender	male ⓘ
workLocation	Pennsylvania ⓘ

How these facts were elicited

Referenced by (12)

Full triples — surface form annotated when it differs from this entity's canonical label.

Alonzo Church → influenced → Haskell Curry ⓘ

Alonzo Church → notableStudent → Haskell Curry ⓘ

Curry → hasNotableBearer → Haskell Curry ⓘ

this entity surface form: Haskell Brooks Curry

Curry paradox → namedAfter → Haskell Curry ⓘ

Curry paradox → historicallyAttributedTo → Haskell Curry ⓘ

Haskell → namedAfter → Haskell Curry ⓘ

Curry encoding → namedAfter → Haskell Curry ⓘ

The Undecidable → containsWorkBy → Haskell Curry ⓘ

Hilbert and Ackermann’s "Grundzüge der theoretischen Logik" → influenced → Haskell Curry ⓘ

subject surface form: Grundzüge der theoretischen Logik

Haskell Curry → fullName → Haskell Curry self-linksurface differs ⓘ

this entity surface form: Haskell Brooks Curry

Philip Wadler → influencedBy → Haskell Curry ⓘ

All labels observed (2)

How this entity was disambiguated Show

Statements (45)

How these facts were elicited Show

Referenced by (12)

How this entity was disambiguated

How these facts were elicited