Disambiguation evidence for Standard ML via surface form

"Standard ML"

Triples (34)

Triples where some other subject referred to this entity as "Standard ML".

Robin Milner → knownFor →
"Standard ML"
↳ resolves to Standard ML
ⓘ
ML → influenced →
"Standard ML"
↳ resolves to Standard ML
ⓘ
ML → hasSuccessor →
"Standard ML"
↳ resolves to Standard ML
ⓘ
OCaml → influencedBy →
"Standard ML"
↳ resolves to Standard ML
ⓘ
Hindley–Milner type system → usedIn →
"Standard ML"
↳ resolves to Standard ML
ⓘ
The Definition of Standard ML → defines →
"Standard ML"
↳ resolves to Standard ML
ⓘ
Isabelle → programmingLanguage →
"Standard ML"
↳ resolves to Standard ML
ⓘ
linked to: Isabelle proof assistant
ML language family → hasMember →
"Standard ML"
↳ resolves to Standard ML
ⓘ
Twelf → writtenIn →
"Standard ML"
↳ resolves to Standard ML
ⓘ
LCF → influenced →
"Standard ML"
↳ resolves to Standard ML
ⓘ
SML/NJ → implementsLanguage →
"Standard ML"
↳ resolves to Standard ML
ⓘ
SML/NJ → hasPrimaryImplementationLanguage →
"Standard ML"
↳ resolves to Standard ML
ⓘ
Standard ML of New Jersey → programmingLanguage →
"Standard ML"
↳ resolves to Standard ML
ⓘ
Standard ML of New Jersey → implementationLanguage →
"Standard ML"
↳ resolves to Standard ML
ⓘ
MLton → programmingLanguage →
"Standard ML"
↳ resolves to Standard ML
ⓘ
MLton → supportsLanguage →
"Standard ML"
↳ resolves to Standard ML
ⓘ
MLton → implementationLanguage →
"Standard ML"
↳ resolves to Standard ML
ⓘ
Poly/ML → programmingLanguage →
"Standard ML"
↳ resolves to Standard ML
ⓘ
Poly/ML → supportsLanguage →
"Standard ML"
↳ resolves to Standard ML
ⓘ
Moscow ML → programmingLanguage →
"Standard ML"
↳ resolves to Standard ML
ⓘ
SML.NET → supportsLanguage →
"Standard ML"
↳ resolves to Standard ML
ⓘ
HM type system → usedIn →
"Standard ML"
↳ resolves to Standard ML
ⓘ
Algorithm W → usedIn →
"Standard ML"
↳ resolves to Standard ML
ⓘ
HOL4 → hasProgrammingLanguage →
"Standard ML"
↳ resolves to Standard ML
ⓘ
HOL4 → implementedIn →
"Standard ML"
↳ resolves to Standard ML
ⓘ
HOL4 → hasKernelLanguage →
"Standard ML"
↳ resolves to Standard ML
ⓘ
Mads Tofte → notableWork →
"Standard ML"
↳ resolves to Standard ML
ⓘ
Mads Tofte → languageWritten →
"Standard ML"
↳ resolves to Standard ML
ⓘ
David MacQueen → contributedTo →
"Standard ML"
↳ resolves to Standard ML
ⓘ
Sledgehammer → developedIn →
"Standard ML"
↳ resolves to Standard ML
ⓘ
Isabelle/ML → basedOn →
"Standard ML"
↳ resolves to Standard ML
ⓘ
Isabelle document preparation system → implementedIn →
"Standard ML"
↳ resolves to Standard ML
ⓘ
Isabelle → programmingLanguage →
"Standard ML"
↳ resolves to Standard ML
ⓘ
Isabelle → supportsCodeGenerationTo →
"Standard ML"
↳ resolves to Standard ML
ⓘ