Explore relationships

Standard ML

Standard ML (SML) is a general-purpose, high-level, modular, functionalprogramming language with compile-time type checking and type inference. It is popular for writing compilers, for programming language research, and for developing theorem provers.

Use + to expand a branch. Click a topic name to open its summary.