About: Value restriction

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

unknown

Property	Value
dbo:wikiPageExternalLink	http://mlton.org/ValueRestriction http://caml.inria.fr/pub/papers/garrigue-value_restriction-fiwflp04.pdf http://users.cis.fiu.edu/~smithg/cop4555/valrestr.html http://citeseerx.ist.psu.edu/viewdoc/summary%3Fdoi=10.1.1.37.5096
dbo:wikiPageWikiLink	dbr:Unit_type dbr:John_C._Mitchell dbr:ML_(programming_language) dbr:Parametric_polymorphism dbr:Hindley–Milner_type_system dbr:Imperative_programming dbr:Free_variables_and_bound_variables dbr:Mads_Tofte dbr:Type_safety dbr:MLton dbr:Unification_(computer_science) dbr:Operational_semantics dbc:Type_inference dbr:Typing_rule dbr:Hindley–Milner_type_inference dbr:Declaration_(computer_science) dbr:LISP_and_Symbolic_Computation dbr:Let_generalization
dbp:wikiPageUsesTemplate	dbt:Context dbt:More_footnotes dbt:Multiple_issues dbt:Reflist
dct:subject	dbc:Type_inference
gold:hypernym	dbr:Values
rdfs:label	Value restriction (en)
owl:sameAs	freebase:Value restriction wikidata:Value restriction dbpedia-global:Value restriction
prov:wasDerivedFrom	wikipedia-en:Value_restriction?oldid=1292239599&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Value_restriction
is dbo:wikiPageWikiLink of	dbr:Semantic_spectrum
is foaf:primaryTopic of	wikipedia-en:Value_restriction

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International