Standard ML | GPTKB 2.0

All labels observed (7)

Label	Occurrences
Standard ML canonical	34
Standard ML (SML) core language	1
Standard ML Modules	1
Standard ML core language	1
Standard ML language design	1
Standard ML language standardization	1
Standard ML type system	1

How this entity was disambiguated

This entity first appeared as the object of triple T2092387 — 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: Standard ML
Context triple: [Robin Milner, knownFor, Standard ML]

A. OCaml
OCaml is a statically typed functional programming language from the ML family, known for its powerful type system, pattern matching, and efficient native code compilation.
B. ReasonML
ReasonML is a syntax and toolchain for the OCaml language that offers a JavaScript-friendly, type-safe alternative for building web and native applications.
C. Chez Scheme
Chez Scheme is a high-performance, optimizing implementation of the Scheme programming language widely used for both research and production systems.
D. Scheme
Scheme is a minimalist, lexically scoped dialect of the Lisp programming language known for its elegant functional programming model and powerful macro system.
E. Haskell
Haskell is a statically typed, purely functional programming language known for its strong type system, lazy evaluation, and use in both academic research and industry.
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: Standard ML
Target entity description: Standard ML is a statically typed functional programming language with type inference and a formal semantics, widely used in programming language research and teaching.

A. OCaml
OCaml is a statically typed functional programming language from the ML family, known for its powerful type system, pattern matching, and efficient native code compilation.
B. ReasonML
ReasonML is a syntax and toolchain for the OCaml language that offers a JavaScript-friendly, type-safe alternative for building web and native applications.
C. Chez Scheme
Chez Scheme is a high-performance, optimizing implementation of the Scheme programming language widely used for both research and production systems.
D. Scheme
Scheme is a minimalist, lexically scoped dialect of the Lisp programming language known for its elegant functional programming model and powerful macro system.
E. Haskell
Haskell is a statically typed, purely functional programming language known for its strong type system, lazy evaluation, and use in both academic research and industry.
F. None of above. chosen

Statements (55)

Predicate	Object
instanceOf	functional programming language ⓘ programming language specification ⓘ statically typed programming language ⓘ
designedBy	Mads Tofte ⓘ Robert Harper ⓘ Robin Milner ⓘ others ⓘ
evaluationStrategy	strict evaluation ⓘ
hasFeature	Hindley–Milner type system ⓘ algebraic data types ⓘ call-by-value evaluation ⓘ exceptions ⓘ first-class functions ⓘ formal semantics ⓘ functors ⓘ garbage collection ⓘ lexical scoping ⓘ module system with signatures and structures ⓘ modules ⓘ parametric polymorphism ⓘ pattern matching ⓘ type inference ⓘ
hasImplementation	MLton ⓘ Moscow ML ⓘ Poly/ML ⓘ SML.NET ⓘ SML/NJ ⓘ Standard ML of New Jersey ⓘ
hasInfluentialWork	The Definition of Standard ML ⓘ The Definition of Standard ML (Revised) ⓘ linked to: The Definition of Standard ML
hasModuleComponent	functors ⓘ signatures ⓘ structures ⓘ
hasStandard	The Definition of Standard ML ⓘ The Definition of Standard ML (Revised) ⓘ linked to: The Definition of Standard ML
hasSyntax	expression-oriented syntax ⓘ
hasTypeSystem	static typing ⓘ
influenced	Cyclone ⓘ F# ⓘ Haskell ⓘ OCaml ⓘ Rust type system design ⓘ
influencedBy	LCF ⓘ ML ⓘ
paradigm	functional programming ⓘ imperative programming ⓘ modular programming ⓘ
standardizedIn	The Definition of Standard ML ⓘ The Definition of Standard ML (Revised) ⓘ linked to: The Definition of Standard ML
supports	abstract data types ⓘ separate compilation ⓘ
usedFor	compiler implementation research ⓘ formal methods research ⓘ programming language research ⓘ teaching programming languages ⓘ

How these facts were elicited

Referenced by (40)

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

Robin Milner → knownFor → Standard ML ⓘ

ML → influenced → Standard ML ⓘ

ML → hasSuccessor → Standard ML ⓘ

OCaml → influencedBy → Standard ML ⓘ

Hindley–Milner type system → usedIn → Standard ML ⓘ

The Definition of Standard ML → defines → Standard ML ⓘ

The Definition of Standard ML → subjectOf → Standard ML language design ⓘ

linked to: Standard ML

The Definition of Standard ML → isBasisFor → Standard ML language standardization ⓘ

linked to: Standard ML

Isabelle → programmingLanguage → Standard ML ⓘ

subject linked to: Isabelle proof assistant

ML language family → hasMember → Standard ML ⓘ

Twelf → writtenIn → Standard ML ⓘ

LCF → influenced → Standard ML ⓘ

SML/NJ → implementsLanguage → Standard ML ⓘ

SML/NJ → hasPrimaryImplementationLanguage → Standard ML ⓘ

Standard ML of New Jersey → programmingLanguage → Standard ML ⓘ

Standard ML of New Jersey → implementationLanguage → Standard ML ⓘ

MLton → programmingLanguage → Standard ML ⓘ

MLton → supportsLanguage → Standard ML ⓘ

MLton → implementationLanguage → Standard ML ⓘ

Poly/ML → programmingLanguage → Standard ML ⓘ

Poly/ML → supportsLanguage → Standard ML ⓘ

Moscow ML → programmingLanguage → Standard ML ⓘ

Moscow ML → supportsLanguageStandard → Standard ML (SML) core language ⓘ

linked to: Standard ML

Moscow ML → supportsLanguageStandard → Standard ML Modules ⓘ

linked to: Standard ML

SML.NET → supportsLanguage → Standard ML ⓘ

SML.NET → implements → Standard ML core language ⓘ

linked to: Standard ML

HM type system → usedIn → Standard ML ⓘ

Algorithm W → usedIn → Standard ML ⓘ

HOL4 → hasProgrammingLanguage → Standard ML ⓘ

HOL4 → implementedIn → Standard ML ⓘ

HOL4 → hasKernelLanguage → Standard ML ⓘ

Mads Tofte → notableWork → Standard ML ⓘ

Mads Tofte → notableWork → Standard ML type system ⓘ

linked to: Standard ML

Mads Tofte → languageWritten → Standard ML ⓘ

David MacQueen → contributedTo → Standard ML ⓘ

Sledgehammer → developedIn → Standard ML ⓘ

Isabelle/ML → basedOn → Standard ML ⓘ

Isabelle document preparation system → implementedIn → Standard ML ⓘ

Isabelle → programmingLanguage → Standard ML ⓘ

Isabelle → supportsCodeGenerationTo → Standard ML ⓘ

All labels observed (7)

How this entity was disambiguated Show

Statements (55)

How these facts were elicited Show

Referenced by (40)

How this entity was disambiguated

How these facts were elicited