Category:Standard ML

From Rosetta Code

(Redirected from Standard ML)
Jump to: navigation, search

Programming Language
Standard ML is a programming language. It may be used to instruct computers to accomplish a variety of tasks which may or may not be domain-specific. You may find a list of its implementations here.

Listed below are all of the tasks on Rosetta Code which have been solved using Standard ML.

See also: Standard ML on the HOPL


Standard ML (SML) is a general-purpose, modular, functional programming language with compile-time type checking and type inference. It is popular among compiler writers and programming language researchers, as well as in the development of theorem provers.

SML is a modern descendant of the ML programming language used in the LCF theorem-proving project. It is unique among widely used languages in that it has a formal specification, given as typing rules and operational semantics in The Definition of Standard ML (1990, revised and simplified as The Definition of Standard ML (Revised) in 1997).

[edit] Citations

Subcategories

There is one subcategory to this category.

S

Articles in category "Standard ML"

There are 9 articles in this category.

C

E

F

Q

S

S cont.

T
Retrieved from "http://rosettacode.org/wiki/Category:Standard_ML"
Personal tools