Standard ML
Standard ML (SML, Standard Meta Language - სტანდარტული მეტა ენა) არის ფართო სფეროიანი, ფუნქციური, ბრძანებით, მოდულარული, პროგრამირების ენა რომელშიც ცვლადების ტიპები კომპილირების დროს არიან დასკვნილი. იგი პოპულარულია კომპილატორების და პროგრამირების ენების შემქნელთა წრეებში, და აგრეთვე მათემატიკური დამტკიცებისთვის. SML-ი არის ML პროგრამირების ენის თანამედროვე წარმომავალი. უფრო მეტად გავრცელებული პროგრამირების ენების განსხვავებით იგი დაფუძნებულია სპეციფიკაციის მიხედვით, The Definition of Standard ML (1990, განახლებული და გამარტივებული: Definition of Standard ML (Revised), 1997 წელს).