Standard ML
| Use attributes for filter ! | |
| Typing discipline | Strong, static, inferred |
|---|---|
| Filename extensions | sml |
| Stable release | Standard ML '97 / 1997; 22 years ago |
| Paradigm | Multi-paradigm |
| Influenced by | ML |
| Hope | |
| Pascal | |
| Date of Reg. | |
| Date of Upd. | |
| ID | 665255 |
About Standard ML
Standard ML is a general-purpose, modular, functional programming language with compile-time type checking and type inference. It is popular among compiler writers and programming language researchers, as well as in the development of theorem provers.
