Abstract is: 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. Standard ML is a modern dialect of ML, the language used in the Logic for Computable Functions (LCF) theorem-proving project. It is distinctive among widely used languages in that it has a formal specification, given as typing rules and operational semantics in The Definition of Standard ML.
interpreted language | Q1993334 |
dialect | Q2458742 |
functional programming language | Q3839507 |
procedural programming language | Q28922885 |
P1036 | Dewey Decimal Classification | 005.13 |
P646 | Freebase ID | /m/0pkgc |
P2037 | GitHub username | smlfamily |
P227 | GND ID | 4295302-9 |
P1163 | media type | http://www.wikidata.org/.well-known/genid/4b4c03bd61d997393da9dbdf6beef629 |
P6366 | Microsoft Academic ID | 2777758133 |
2779353982 | ||
P856 | official website | https://smlfamily.github.io/ |
P3417 | Quora topic ID | Standard-ML |
P9526 | Scholarpedia article ID | Standard_ML_language |
P1482 | Stack Exchange tag | https://stackoverflow.com/tags/ml |
P3553 | Zhihu topic ID | 19738069 |
P8131 | dialect of computer language | ML | Q860654 |
P1195 | file extension | sml | |
P571 | inception | 1983-01-01 | |
P737 | influenced by | ML | Q860654 |
P3966 | programming paradigm | functional programming | Q193076 |
imperative programming | Q275596 | ||
procedural programming | Q1418502 | ||
modular programming | Q6453666 | ||
P7078 | typing discipline | strong typing | Q991202 |
static typing | Q1940914 | ||
inference typing | Q586459 |
Q72271648 | GNU Source-highlight | readable file format | P1072 |
Q460340 | Isabelle | programmed in | P277 |
Arabic (ar / Q13955) | أم أل المعيارية | wikipedia |
Catalan (ca / Q7026) | ML Estàndard | wikipedia |
Standard ML | wikipedia | |
Standard ML | wikipedia | |
Standard ML | wikipedia | |
Standard ML | wikipedia | |
en-simple | Standard ML | wikipedia |
Esperanto (eo / Q143) | Standard ML | wikipedia |
Standard ML | wikipedia | |
Persian (fa / Q9168) | استاندارد امال | wikipedia |
Standard ML | wikipedia | |
SML | wikipedia | |
Standard ML | wikipedia | |
Standard ML | wikipedia | |
Standard ML | wikipedia | |
Standard ML | wikipedia | |
표준 ML | wikipedia | |
ml | സ്റ്റാൻഡേർഡ് എംഎൽ | wikipedia |
Standard ML | wikipedia | |
Standard ML | wikipedia | |
Standard ML | wikipedia | |
Standart ML | wikipedia | |
Standard ML | wikipedia | |
Standard ML | wikipedia |
Search more.