| Paradigms | procedural programming |
|---|---|
| Typing discipline | strong typing, inference typing |
| First appeared | 2002 |
| Type | software, procedural programming language |
| Influenced by | Standard ML |
| License | Standard ML of New Jersey License |
| Latest version | 2025.3 |
| Website | smlnj.org |
Sources: Wikidata (CC0) · Wikidata Q239406