Statements (30)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
programming language revision
|
| gptkbp:alsoKnownAs |
gptkb:SML_'97
|
| gptkbp:basedOn |
gptkb:Standard_ML
|
| gptkbp:domain |
education
research systems programming |
| gptkbp:hasFeature |
type inference
module system parametric polymorphism pattern matching strong static typing |
| https://www.w3.org/2000/01/rdf-schema#label |
Standard ML 1997
|
| gptkbp:implementedIn |
gptkb:MLton
gptkb:SML/NJ gptkb:Moscow_ML gptkb:Poly/ML |
| gptkbp:influenced |
gptkb:F#
gptkb:Haskell gptkb:OCaml gptkb:Scala |
| gptkbp:influencedBy |
ML
|
| gptkbp:paradigm |
functional programming
imperative programming |
| gptkbp:releaseYear |
1997
|
| gptkbp:standardizedBy |
gptkb:The_Definition_of_Standard_ML_(Revised)
|
| gptkbp:typingDiscipline |
strong
static inferred |
| gptkbp:bfsParent |
gptkb:SML97
|
| gptkbp:bfsLayer |
7
|