Statements (52)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:Library
|
| gptkbp:bfsLayer |
4
|
| gptkbp:bfsParent |
gptkb:Standard_ML
|
| gptkbp:developed_by |
Standard ML community
|
| gptkbp:first_released |
gptkb:1997
|
| gptkbp:has |
gptkb:document
|
| https://www.w3.org/2000/01/rdf-schema#label |
Standard ML Basis Library
|
| gptkbp:is_available_on |
gptkb:multiple_platforms
|
| gptkbp:is_compatible_with |
ML family of languages
|
| gptkbp:is_designed_for |
Standard ML programming language
|
| gptkbp:is_influenced_by |
gptkb:sports_team
gptkb:Library gptkb:Lisp |
| gptkbp:is_known_for |
high-level abstractions
modularity performance optimization techniques polymorphism type inference pattern matching interoperability with C lazy evaluation first-class functions exception handling mechanisms functional programming features strong type system immutable data structures rich set of libraries |
| gptkbp:is_maintained_by |
M Lton project
|
| gptkbp:is_open_source |
gptkb:theorem
|
| gptkbp:is_part_of |
gptkb:Standard_ML
Standard ML environment |
| gptkbp:is_used_in |
gptkb:academic_research
gptkb:software_framework functional programming compiler construction teaching programming languages |
| gptkbp:provides |
gptkb:Author
gptkb:Footballer gptkb:building data structures exception handling file handling functions input/output functions string manipulation functions threading support array manipulation functions time and date functions list manipulation functions network programming functions system interaction functions |
| gptkbp:supports |
modular programming
|
| gptkbp:written_in |
gptkb:Standard_ML
|