El lenguaje de programación Standard ML o SML es un lenguaje descendiente del lenguaje ML que nació como el Meta Lenguaje del sistema LCF. A diferencia de muchos otros lenguajes de programación, SML tiene una especificación formal, como semántica operacional publicada en el libro The Definition of Standard ML.

Property Value
dbo:abstract
  • El lenguaje de programación Standard ML o SML es un lenguaje descendiente del lenguaje ML que nació como el Meta Lenguaje del sistema LCF. A diferencia de muchos otros lenguajes de programación, SML tiene una especificación formal, como semántica operacional publicada en el libro The Definition of Standard ML. (es)
  • El lenguaje de programación Standard ML o SML es un lenguaje descendiente del lenguaje ML que nació como el Meta Lenguaje del sistema LCF. A diferencia de muchos otros lenguajes de programación, SML tiene una especificación formal, como semántica operacional publicada en el libro The Definition of Standard ML. (es)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 72659 (xsd:integer)
dbo:wikiPageLength
  • 1977 (xsd:integer)
dbo:wikiPageRevisionID
  • 119252209 (xsd:integer)
dct:subject
rdfs:comment
  • El lenguaje de programación Standard ML o SML es un lenguaje descendiente del lenguaje ML que nació como el Meta Lenguaje del sistema LCF. A diferencia de muchos otros lenguajes de programación, SML tiene una especificación formal, como semántica operacional publicada en el libro The Definition of Standard ML. (es)
  • El lenguaje de programación Standard ML o SML es un lenguaje descendiente del lenguaje ML que nació como el Meta Lenguaje del sistema LCF. A diferencia de muchos otros lenguajes de programación, SML tiene una especificación formal, como semántica operacional publicada en el libro The Definition of Standard ML. (es)
rdfs:label
  • Standard ML (es)
  • Standard ML (es)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is prop-es:dialectos of
is prop-es:influidoPor of
is owl:sameAs of
is foaf:primaryTopic of