Property |
Value |
dbo:abstract
|
- Standard ML (SML) est un langage de programmation généraliste, modulaire, fonctionnel. Il est doté d'un système de typage statique fort par inférence de types. SML descend directement du langage ML. Il existe de nombreuses implémentations de SML, dont le Standard ML of New Jersey, Concurrent ML, MLton, MLWorks, Moscow ML et Poly/ML.
* Portail de la programmation informatique (fr)
- Standard ML (SML) est un langage de programmation généraliste, modulaire, fonctionnel. Il est doté d'un système de typage statique fort par inférence de types. SML descend directement du langage ML. Il existe de nombreuses implémentations de SML, dont le Standard ML of New Jersey, Concurrent ML, MLton, MLWorks, Moscow ML et Poly/ML.
* Portail de la programmation informatique (fr)
|
dbo:influencedBy
| |
dbo:wikiPageID
| |
dbo:wikiPageLength
|
- 1238 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
dbo:wikiPageWikiLink
| |
prop-fr:dialectes
|
- Alice, Dependent ML (fr)
- Alice, Dependent ML (fr)
|
prop-fr:implémentations
|
- MLton, MLWorks, Moscow ML, Poly/ML, SML/NJ (fr)
- MLton, MLWorks, Moscow ML, Poly/ML, SML/NJ (fr)
|
prop-fr:influencéPar
| |
prop-fr:nom
|
- Standard ML (fr)
- Standard ML (fr)
|
prop-fr:paradigme
| |
prop-fr:typage
| |
prop-fr:wikiPageUsesTemplate
| |
dct:subject
| |
rdf:type
| |
rdfs:comment
|
- Standard ML (SML) est un langage de programmation généraliste, modulaire, fonctionnel. Il est doté d'un système de typage statique fort par inférence de types. SML descend directement du langage ML. Il existe de nombreuses implémentations de SML, dont le Standard ML of New Jersey, Concurrent ML, MLton, MLWorks, Moscow ML et Poly/ML.
* Portail de la programmation informatique (fr)
- Standard ML (SML) est un langage de programmation généraliste, modulaire, fonctionnel. Il est doté d'un système de typage statique fort par inférence de types. SML descend directement du langage ML. Il existe de nombreuses implémentations de SML, dont le Standard ML of New Jersey, Concurrent ML, MLton, MLWorks, Moscow ML et Poly/ML.
* Portail de la programmation informatique (fr)
|
rdfs:label
|
- Standard ML (fr)
- Standard ML (de)
- Standard ML (it)
- Standard ML (ja)
- أم أل المعيارية (ar)
- Standard ML (fr)
- Standard ML (de)
- Standard ML (it)
- Standard ML (ja)
- أم أل المعيارية (ar)
|
rdfs:seeAlso
| |
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:isPrimaryTopicOf
| |
foaf:name
|
- Standard ML (fr)
- Standard ML (fr)
|
is dbo:influencedBy
of | |
is dbo:wikiPageWikiLink
of | |
is prop-fr:influencéPar
of | |
is oa:hasTarget
of | |
is foaf:primaryTopic
of | |