Statements (28)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:programming_language
|
gptkbp:designedBy |
gptkb:Robin_Milner
gptkb:Robert_Harper gptkb:David_MacQueen gptkb:Mads_Tofte |
gptkbp:fileExtension |
.fun
.sig .sml |
gptkbp:fullName |
gptkb:Standard_ML_1997
|
https://www.w3.org/2000/01/rdf-schema#label |
SML97
|
gptkbp:implementedIn |
gptkb:MLton
gptkb:SML/NJ gptkb:Moscow_ML gptkb:Poly/ML |
gptkbp:influenced |
gptkb:F#
gptkb:Haskell gptkb:OCaml |
gptkbp:influencedBy |
ML
|
gptkbp:introducedIn |
1997
|
gptkbp:paradigm |
functional programming
imperative programming |
gptkbp:predecessor |
gptkb:Standard_ML
|
gptkbp:standardizedBy |
gptkb:The_Definition_of_Standard_ML_(Revised)
|
gptkbp:type |
strong
static inferred |
gptkbp:bfsParent |
gptkb:Standard_ML
|
gptkbp:bfsLayer |
6
|