MLton
E807595
MLton is a whole-program optimizing compiler for the Standard ML programming language, known for its aggressive optimizations and high-performance native code generation.
All labels observed (1)
| Label | Occurrences |
|---|---|
| MLton canonical | 2 |
How this entity was disambiguated
This entity first appeared as the object of triple T9566689 — 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: MLton Context triple: [Standard ML, hasImplementation, MLton]
-
A.
MLT
MLT is the three-letter ISO 3166-1 alpha-3 country code assigned to Malta.
-
B.
Talbo
Talbo is the surname of Dolly Talbo, a character whose last name identifies her within her fictional or narrative family lineage.
-
C.
Maltoni
Maltoni is the Italian maiden surname of Rosa Maltoni Mussolini, the mother of fascist dictator Benito Mussolini.
-
D.
Mattertal
Mattertal is a high alpine valley in the Swiss canton of Valais, known for its dramatic peaks including the Matterhorn and its popular mountaineering and ski resorts.
-
E.
Molten
Molten is a Japanese sports equipment manufacturer best known for producing high-quality balls used in major international competitions across football, basketball, and other sports.
- 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: MLton Target entity description: MLton is a whole-program optimizing compiler for the Standard ML programming language, known for its aggressive optimizations and high-performance native code generation.
-
A.
MLT
MLT is the three-letter ISO 3166-1 alpha-3 country code assigned to Malta.
-
B.
Talbo
Talbo is the surname of Dolly Talbo, a character whose last name identifies her within her fictional or narrative family lineage.
-
C.
Maltoni
Maltoni is the Italian maiden surname of Rosa Maltoni Mussolini, the mother of fascist dictator Benito Mussolini.
-
D.
Mattertal
Mattertal is a high alpine valley in the Swiss canton of Valais, known for its dramatic peaks including the Matterhorn and its popular mountaineering and ski resorts.
-
E.
Molten
Molten is a Japanese sports equipment manufacturer best known for producing high-quality balls used in major international competitions across football, basketball, and other sports.
- F. None of above. chosen
Statements (51)
| Predicate | Object |
|---|---|
| instanceOf |
Standard ML compiler
ⓘ
native code compiler ⓘ whole-program optimizing compiler ⓘ |
| designGoal |
correctness
ⓘ
high performance ⓘ portability ⓘ robust implementation of Standard ML ⓘ whole-program analysis ⓘ |
| feature |
advanced control-flow optimizations
ⓘ
advanced data-flow optimizations ⓘ aggressive inlining ⓘ aggressive optimizations ⓘ basis library implementation ⓘ closure conversion ⓘ defunctorization ⓘ foreign function interface ⓘ garbage collection ⓘ generational garbage collector ⓘ high-performance native code generation ⓘ monomorphization ⓘ portable runtime system ⓘ profiling support ⓘ region-based optimizations ⓘ representation analysis ⓘ support for C FFI ⓘ support for POSIX APIs ⓘ support for concurrency primitives ⓘ support for threading via green threads ⓘ unboxing optimizations ⓘ whole-program dead-code elimination ⓘ |
| hasComponent |
code generator
ⓘ
front-end type checker ⓘ optimizer ⓘ runtime system ⓘ |
| implementationLanguage |
C
NERFINISHED
ⓘ
Standard ML NERFINISHED ⓘ |
| license |
BSD-style license
ⓘ
open-source license ⓘ |
| operatingSystem |
FreeBSD
NERFINISHED
ⓘ
Linux ⓘ Windows ⓘ macOS ⓘ other Unix-like systems ⓘ |
| optimizationStyle | whole-program optimization ⓘ |
| outputFormat |
C code
ⓘ
assembly code ⓘ native executable ⓘ |
| programmingLanguage | Standard ML NERFINISHED ⓘ |
| supportsLanguage | Standard ML NERFINISHED ⓘ |
| supportsStandard |
Standard ML Basis Library
NERFINISHED
ⓘ
The Definition of Standard ML NERFINISHED ⓘ |
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: MLton Description of subject: MLton is a whole-program optimizing compiler for the Standard ML programming language, known for its aggressive optimizations and high-performance native code generation.
Referenced by (2)
Full triples — surface form annotated when it differs from this entity's canonical label.