Standard ML
Standard ML 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.
Details
Written With
| Name | Description |
|---|---|
| C | General-purpose language foundational in systems and application programming. |