Category:Standard ML: Difference between revisions
m
Reverted edits by 134.174.13.235 (Talk); changed back to last version by IanOsgood
No edit summary |
m (Reverted edits by 134.174.13.235 (Talk); changed back to last version by IanOsgood) |
||
Line 1:
[[Category:Solutions by Programming Language]]
'''Standard ML''' (SML) 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.
|