Statements (52)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:software
|
| gptkbp:developed_by |
MLton team
|
| gptkbp:features |
garbage collection
native code generation whole-program optimization |
| gptkbp:has_community |
conferences
meetups mailing lists user forums IRC channel |
| gptkbp:has_documentation |
tutorials
API reference user manual |
| https://www.w3.org/2000/01/rdf-schema#label |
MLton-MLKit
|
| gptkbp:is_compatible_with |
gptkb:Standard_ML_Basis_Library
MLton package manager MLton runtime |
| gptkbp:is_known_for |
gptkb:performance
efficiency extensibility portability robustness |
| gptkbp:is_part_of |
gptkb:open-source_software
functional programming languages ML programming ecosystem |
| gptkbp:is_used_in |
gptkb:academic_research
educational purposes industry projects |
| gptkbp:language |
gptkb:Standard_ML
|
| gptkbp:license |
gptkb:GNU_General_Public_License
|
| gptkbp:platform |
cross-platform
|
| gptkbp:provides |
gptkb:Command_Line_Interface
exception handling polymorphism type inference pattern matching |
| gptkbp:release_year |
gptkb:2002
|
| gptkbp:repository |
gptkb:Git_Hub
|
| gptkbp:supports |
debugging tools
parallelism profiling tools concurrency static analysis foreign function interface tail call optimization code generation for multiple architectures ML programming |
| gptkbp:type |
gptkb:Java_programming_language
|
| gptkbp:uses |
MLton runtime
|
| gptkbp:written_in |
gptkb:C
|
| gptkbp:bfsParent |
gptkb:Jonin
|
| gptkbp:bfsLayer |
5
|