Revision as of 19:13, 10 September 2007 (view source) Ce (talk \| contribs) (Undo revision 8473 by Special:Contributions/YpbVtc (User talk:YpbVtc)) ← Older edit		Revision as of 05:49, 10 October 2007 (view source) 85.17.186.161 (talk) No edit summary Newer edit →
Line 1: aczelviv [[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.

Category:Standard ML: Difference between revisions

Category:Standard ML (view source)