Back أم أل المعيارية Arabic ML Estàndard Catalan Standard ML Czech Standard ML Danish Standard ML German Standard ML English Standard ML Esperanto Standard ML Spanish استاندارد امال Persian Standard ML French
Standard ML is a functional programming language which is a dialect of ML (programming language). It is sometimes used for writing compilers and in theorem provers.