Statements (54)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:language
|
| gptkbp:bfsLayer |
4
|
| gptkbp:bfsParent |
gptkb:AT&_T_Bell_Laboratories
|
| gptkbp:application |
gptkb:Artificial_Intelligence
gptkb:software_framework gptkb:currency formal verification data analysis database systems algorithm design concurrent programming embedded systems game development scientific computing teaching programming concepts web development distributed systems system programming compiler construction network programming research in programming languages |
| gptkbp:community |
gptkb:Standard_ML_of_New_Jersey
M Lton community Moscow ML community Poly/ ML community |
| gptkbp:controls |
strongly typed
|
| gptkbp:designed_by |
gptkb:Robert_Harper
|
| gptkbp:features |
gptkb:Author
exception handling garbage collection higher-order functions polymorphism type safety pattern matching lazy evaluation first-class functions immutable data structures |
| gptkbp:first_appearance |
gptkb:1984
|
| gptkbp:format |
.sml
|
| https://www.w3.org/2000/01/rdf-schema#label |
SML programming language
|
| gptkbp:influenced_by |
gptkb:ML
|
| gptkbp:is_standardized_by |
The Definition of Standard ML
|
| gptkbp:philosophy |
functional programming
|
| gptkbp:related_to |
gptkb:Erlang
gptkb:sports_team gptkb:F# gptkb:Library gptkb:Skrull |
| gptkbp:supports |
type inference
|
| gptkbp:technique |
gptkb:superhero
gptkb:Moscow_ML gptkb:Poly/_ML gptkb:SML/_NJ |
| gptkbp:used_in |
gptkb:academic_research
|