Standard ML

http://pt.dbpedia.org/resource/Standard_ML

Standard ML (SML) é uma linguagem de programação funcional de propósito geral modular com verificação e inferência de tipos em tempo de compilação. É popular entre pesquisadores de linguagem de programação e compiladores.SML é um descendente moderno da ML (linguagem de programação) utilizado em lógica de funções computáveis (LCF). Distingue-se das outras linguagens utilizadas atualmente devido sua característica funcional e devido sua especificação formal, dado como escrever regras e semântica operacional na definição da Standard ML.
Standard ML 
internos 
MLton, MLWorks, Moscow ML, Poly/ML, SML/NJ, SML.NET 
Standard ML 
Standard ML (SML) é uma linguagem de programação funcional de propósito geral modular com verificação e inferência de tipos em tempo de compilação. É popular entre pesquisadores de linguagem de programação e compiladores. SML é um descendente moderno da ML (linguagem de programação) utilizado em lógica de funções computáveis (LCF). Distingue-se das outras linguagens utilizadas atualmente devido sua característica funcional e devido sua especificação formal, dado como escrever regras e semântica operacional na definição da Standard ML. 
xsd:nonNegativeInteger 39 
xsd:integer 2586188 
xsd:nonNegativeInteger 7298 
xsd:integer 40112859 

data from the linked data cloud