Standard ML
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.
known for
programming language
dialects
primaryTopic
Standard ML
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.
has abstract
El lenguaje de programación St ...... The Definition of Standard ML.
@es
In informatica, SML (Standard ...... ioni configurabili (functors).
@it
Standard ML (SML) - język prog ...... Podobnym językiem jest OCaml.
@pl
Standard ML (SML) est un langa ...... la programmation informatique
@fr
Standard ML (SML) is a general ...... tandard ML (Revised) in 1997).
@en
Standard ML (SML) ist eine von ...... mathematisch bewiesen werden.
@de
Standard ML (SML) é uma lingua ...... l na definição da Standard ML.
@pt
Standard ML (SML) は、プログラミング言語M ...... 版が出版され、1997年に単純化された改版が出版されている。
@ja
Standard ML — компилируемый яз ...... модулей — см. язык модулей ML.
@ru
influenced
influenced by
Link from a Wikipage to an external page
Wikipage page ID
Wikipage revision ID
724,942,468
subject
hypernym
comment
El lenguaje de programación St ...... The Definition of Standard ML.
@es
In informatica, SML (Standard ...... ion of Standard ML - Revised).
@it
Standard ML (SML) - język prog ...... Podobnym językiem jest OCaml.
@pl
Standard ML (SML) est un langa ...... la programmation informatique
@fr
Standard ML (SML) is a general ...... evelopment of theorem provers.
@en
Standard ML (SML) ist eine von ...... e SML-Basisbibliothek enthält.
@de
Standard ML (SML) é uma lingua ...... l na definição da Standard ML.
@pt
Standard ML (SML) は、プログラミング言語M ...... 版が出版され、1997年に単純化された改版が出版されている。
@ja
Standard ML — компилируемый яз ...... рупномасштабного программирова
@ru
label
Standard ML
@de
Standard ML
@en
Standard ML
@es
Standard ML
@fr
Standard ML
@it
Standard ML
@ja
Standard ML
@pl
Standard ML
@pt
Standard ML
@ru
sameAs
wasDerivedFrom
isPrimaryTopicOf
name
Standard ML
@en