|
gptkbp:instanceOf
|
gptkb:programming_language
|
|
gptkbp:designedBy
|
gptkb:Robin_Milner
|
|
gptkbp:documentation
|
gptkb:The_Definition_of_Standard_ML
gptkb:The_Standard_ML_Basis_Library
|
|
gptkbp:domain
|
gptkb:research
education
compiler construction
|
|
gptkbp:fileExtension
|
.fun
.sig
.sml
|
|
gptkbp:firstAppearance
|
1984
|
|
gptkbp:hasFeature
|
gptkb:recursion
garbage collection
modules
type inference
first-class functions
lexical scoping
algebraic data types
higher-order functions
parametric polymorphism
pattern matching
immutable data structures
exceptions
side effects
|
|
gptkbp:implementedIn
|
gptkb:MLton
gptkb:SML/NJ
gptkb:HaMLet
gptkb:Moscow_ML
gptkb:Poly/ML
|
|
gptkbp:influenced
|
gptkb:Elm
gptkb:F#
gptkb:Haskell
gptkb:OCaml
gptkb:Idris
gptkb:Rust
gptkb:Scala
|
|
gptkbp:influencedBy
|
gptkb:Lisp
gptkb:ALGOL
gptkb:ISWIM
ML
|
|
gptkbp:ISOStandard
|
gptkb:ISO/IEC_15910:1999
|
|
gptkbp:paradigm
|
functional programming
imperative programming
|
|
gptkbp:standardizedBy
|
gptkb:SML97
|
|
gptkbp:typingDiscipline
|
type inference
static typing
strong typing
|
|
gptkbp:website
|
https://smlfamily.github.io/
|
|
gptkbp:bfsParent
|
gptkb:OCaml
gptkb:Robert_Harper
gptkb:ML_programming_language
gptkb:The_Definition_of_Standard_ML_(book)
gptkb:SML
|
|
gptkbp:bfsLayer
|
6
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Standard ML
|