Category:Standard ML: Difference between revisions
Content added Content deleted
No edit summary |
(Undo revision 9220 by Special:Contributions/85.17.186.161 (User talk:85.17.186.161)) |
||
Line 1: | Line 1: | ||
aczelviv |
|||
[[Category:Solutions by Programming Language]] |
[[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. |
'''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. |