English Wikipedia - The Free Encycl...
Download this dictionary
Standard ML
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
.
See more at Wikipedia.org...
© This article uses material from
Wikipedia
®
and is licensed under the
GNU Free Documentation License
and under the
Creative Commons Attribution-ShareAlike License