|
gptkbp:instance_of
|
gptkb:language
|
|
gptkbp:developed_by
|
gptkb:Andrew_W._Appel
|
|
gptkbp:features
|
Pattern matching
Garbage collection
Type inference
Module system
|
|
gptkbp:first_released
|
gptkb:1991
|
|
gptkbp:has
|
Debugging tools
Interactive environment
Error reporting
Compiler optimizations
|
|
gptkbp:has_community
|
Academic community
Functional programming community
SML/ NJ community
|
|
gptkbp:has_documentation
|
gptkb:municipality
|
|
gptkbp:has_version
|
gptkb:SML/_NJ_110.78
gptkb:SML/_NJ_110.79
gptkb:SML/_NJ_110.80
gptkb:SML/_NJ_110.81
gptkb:SML/_NJ_110.82
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Standard ML of New Jersey Compiler
|
|
gptkbp:influenced_by
|
gptkb:Algol_programming_language
Lisp programming language
ML programming language
|
|
gptkbp:is_available_on
|
gptkb:operating_system
|
|
gptkbp:is_compatible_with
|
gptkb:superhero
gptkb:SML/_NJ
|
|
gptkbp:is_known_for
|
Type safety
Strong static typing
Expressive type system
Pattern matching syntax
Rich module system
|
|
gptkbp:is_part_of
|
ML family of languages
Standard ML ecosystem
|
|
gptkbp:is_used_in
|
Software development
Academic research
Teaching programming languages
|
|
gptkbp:language
|
gptkb:Standard_ML
|
|
gptkbp:license
|
gptkb:GNU_General_Public_License
|
|
gptkbp:platform
|
Cross-platform
|
|
gptkbp:supports
|
Functional programming
Imperative programming
|
|
gptkbp:uses
|
gptkb:ML_Kit
gptkb:language
|
|
gptkbp:written_in
|
gptkb:Standard_ML
|
|
gptkbp:bfsParent
|
gptkb:Standard_ML_of_New_Jersey
|
|
gptkbp:bfsLayer
|
5
|