Search results
Results from the WOW.Com Content Network
Standard ML (SML) is a general-purpose, high-level, modular, functional programming language with compile-time type checking and type inference.It is popular for writing compilers, for programming language research, and for developing theorem provers.