@prefix rdfs: . @prefix dbr: . dbr:Value_restriction rdfs:label "Value restriction"@en ; rdfs:comment "In programming languages with Hindley-Milner type inference and imperative features, in particular the ML programming language family, the value restriction means that declarations are only polymorphically generalized if they are syntactic values (also called non-expansive). The value restriction prevents reference cells from holding values of different types and preserves type safety."@en . @prefix dcterms: . @prefix dbc: . dbr:Value_restriction dcterms:subject dbc:Type_inference . @prefix dbo: . dbr:Value_restriction dbo:wikiPageID 34060563 ; dbo:wikiPageRevisionID 1113315637 ; dbo:wikiPageWikiLink dbr:Free_variables_and_bound_variables , dbr:Operational_semantics , dbr:Let_generalization , dbr:LISP_and_Symbolic_Computation , , , dbr:Unit_type , , dbr:Typing_rule , , dbr:Parametric_polymorphism , dbr:Imperative_programming , dbr:Type_safety , , dbr:MLton , , dbr:Mads_Tofte , dbc:Type_inference ; dbo:wikiPageExternalLink , . @prefix ns5: . dbr:Value_restriction dbo:wikiPageExternalLink ns5:ValueRestriction , . @prefix owl: . dbr:Value_restriction owl:sameAs . @prefix wikidata: . dbr:Value_restriction owl:sameAs wikidata:Q7912774 , . @prefix dbp: . @prefix dbt: . dbr:Value_restriction dbp:wikiPageUsesTemplate dbt:Multiple_issues , dbt:Reflist , dbt:More_footnotes , dbt:Context ; dbo:abstract "In programming languages with Hindley-Milner type inference and imperative features, in particular the ML programming language family, the value restriction means that declarations are only polymorphically generalized if they are syntactic values (also called non-expansive). The value restriction prevents reference cells from holding values of different types and preserves type safety."@en . @prefix gold: . dbr:Value_restriction gold:hypernym dbr:Values . @prefix prov: . dbr:Value_restriction prov:wasDerivedFrom . @prefix xsd: . dbr:Value_restriction dbo:wikiPageLength "5468"^^xsd:nonNegativeInteger . @prefix foaf: . @prefix wikipedia-en: . dbr:Value_restriction foaf:isPrimaryTopicOf wikipedia-en:Value_restriction .