Well-Typed LLP
E1314174
UNEXPLORED
Well-Typed LLP is a Haskell-focused consultancy and development company known for its core contributions to the Glasgow Haskell Compiler and the Haskell ecosystem.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Well-Typed LLP canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T18256046 — 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: Well-Typed LLP Context triple: [GHC, developedBy, Well-Typed LLP]
-
A.
Haskell Institute
Haskell Institute was an educational institution in Kansas historically known for its Native American student body and athletic programs, where legendary basketball coach Phog Allen once worked.
-
B.
Hindley–Milner type system
The Hindley–Milner type system is a classical polymorphic type system used in many functional programming languages, notable for enabling type inference without explicit type annotations.
-
C.
Philip Wadler
Philip Wadler is a prominent computer scientist known for his foundational contributions to functional programming languages, type systems, and the theory and design of languages such as Haskell.
-
D.
Standard ML of New Jersey
Standard ML of New Jersey is a well-known, optimizing compiler and interactive environment for the Standard ML programming language, widely used in research and teaching.
-
E.
Twelf
Twelf is a logical framework and meta-logical tool used for specifying, implementing, and proving properties of deductive systems such as programming languages and logics.
- 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: Well-Typed LLP Target entity description: Well-Typed LLP is a Haskell-focused consultancy and development company known for its core contributions to the Glasgow Haskell Compiler and the Haskell ecosystem.
-
A.
Haskell Institute
Haskell Institute was an educational institution in Kansas historically known for its Native American student body and athletic programs, where legendary basketball coach Phog Allen once worked.
-
B.
Hindley–Milner type system
The Hindley–Milner type system is a classical polymorphic type system used in many functional programming languages, notable for enabling type inference without explicit type annotations.
-
C.
Philip Wadler
Philip Wadler is a prominent computer scientist known for his foundational contributions to functional programming languages, type systems, and the theory and design of languages such as Haskell.
-
D.
Standard ML of New Jersey
Standard ML of New Jersey is a well-known, optimizing compiler and interactive environment for the Standard ML programming language, widely used in research and teaching.
-
E.
Twelf
Twelf is a logical framework and meta-logical tool used for specifying, implementing, and proving properties of deductive systems such as programming languages and logics.
- F. None of above. chosen
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.