Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Value_restriction> ?p ?o }
Showing triples 1 to 35 of
35
with 100 triples per page.
- Value_restriction abstract "In functional programming, 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.".
- Value_restriction wikiPageExternalLink summary?doi=10.1.1.37.5096.
- Value_restriction wikiPageExternalLink ValueRestriction.
- Value_restriction wikiPageExternalLink valrestr.html.
- Value_restriction wikiPageID "34060563".
- Value_restriction wikiPageLength "1650".
- Value_restriction wikiPageOutDegree "14".
- Value_restriction wikiPageRevisionID "593607672".
- Value_restriction wikiPageWikiLink Category:ML_programming_language_family.
- Value_restriction wikiPageWikiLink Category:Type_inference.
- Value_restriction wikiPageWikiLink Declaration_(computer_programming).
- Value_restriction wikiPageWikiLink Functional_programming.
- Value_restriction wikiPageWikiLink Higher-Order_and_Symbolic_Computation.
- Value_restriction wikiPageWikiLink Hindley–Milner_type_system.
- Value_restriction wikiPageWikiLink John_C._Mitchell.
- Value_restriction wikiPageWikiLink ML_(programming_language).
- Value_restriction wikiPageWikiLink MLton.
- Value_restriction wikiPageWikiLink Mads_Tofte.
- Value_restriction wikiPageWikiLink Parametric_polymorphism.
- Value_restriction wikiPageWikiLink Reference_cell.
- Value_restriction wikiPageWikiLink Type_safety.
- Value_restriction wikiPageWikiLinkText "Value Restrictions".
- Value_restriction wikiPageUsesTemplate Template:Plt-stub.
- Value_restriction subject Category:ML_programming_language_family.
- Value_restriction subject Category:Type_inference.
- Value_restriction hypernym Values.
- Value_restriction type Language.
- Value_restriction type Language.
- Value_restriction comment "In functional programming, 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.".
- Value_restriction label "Value restriction".
- Value_restriction sameAs Q7912774.
- Value_restriction sameAs m.0hr8z9b.
- Value_restriction sameAs Q7912774.
- Value_restriction wasDerivedFrom Value_restriction?oldid=593607672.
- Value_restriction isPrimaryTopicOf Value_restriction.