|
gptkbp:instance_of
|
gptkb:language
|
|
gptkbp:album
|
bytecode
native code
|
|
gptkbp:controls
|
gptkb:Hindley-Milner_type_system
|
|
gptkbp:designed_by
|
gptkb:Robert_Harper
|
|
gptkbp:first_appearance
|
gptkb:1984
|
|
gptkbp:has_community
|
M Lton community
Moscow ML community
Poly/ ML community
SML community
SML/ NJ community
|
|
gptkbp:has_expansion
|
gptkb:Standard_ML
|
|
gptkbp:has_feature
|
gptkb:Standard_ML_of_New_Jersey_Compiler
gptkb:Author
gptkb:superhero
gptkb:Moscow_ML
gptkb:Poly/_ML
gptkb:SML/_NJ
exception handling
pattern matching
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Standard ML of New Jersey
|
|
gptkbp:influenced_by
|
gptkb:ML
|
|
gptkbp:is_known_for
|
modularity
type safety
strong static typing
functional purity
|
|
gptkbp:is_part_of
|
functional programming languages
strongly typed languages
ML family of languages
ML programming languages
compiled programming languages
|
|
gptkbp:is_related_to
|
gptkb:sports_team
gptkb:F#
gptkb:Library
gptkb:Racket
gptkb:Skrull
|
|
gptkbp:is_standardized_by
|
gptkb:The_Standard_ML_Basis_Library
The Standard ML Definition
|
|
gptkbp:is_supported_by
|
academic institutions
open source community
research labs
|
|
gptkbp:is_used_in
|
gptkb:academic_research
gptkb:software_framework
formal verification
algorithm design
research in programming languages
teaching programming languages
|
|
gptkbp:philosophy
|
functional programming
|
|
gptkbp:supports
|
type inference
|
|
gptkbp:used_in
|
compiler construction
|
|
gptkbp:bfsParent
|
gptkb:Standard_ML
|
|
gptkbp:bfsLayer
|
4
|