Statements (29)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:programming_language
|
| gptkbp:designedBy |
gptkb:Robin_Milner
|
| gptkbp:fileExtension |
.fun
.sig .sml |
| gptkbp:firstAppearance |
1984
|
| gptkbp:fullName |
gptkb:Standard_ML
|
| https://www.w3.org/2000/01/rdf-schema#label |
SML
|
| 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:paradigm |
functional programming
|
| gptkbp:standardizedBy |
gptkb:SML_'97
|
| gptkbp:supports |
modules
type inference parametric polymorphism pattern matching |
| gptkbp:typingDiscipline |
strong
static inferred |
| gptkbp:website |
https://smlfamily.github.io/
|
| gptkbp:bfsParent |
gptkb:Scala
gptkb:Fortress_programming_language |
| gptkbp:bfsLayer |
5
|