About: Principal type

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

unknown

Property	Value
dbo:wikiPageWikiLink	dbr:ML_(programming_language) dbr:Type_theory dbr:Type_system dbr:Type_inference dbr:Generalized_algebraic_data_type dbr:Polymorphic_recursion dbc:Type_theory dbc:Type_inference dbr:Robinson's_unification_algorithm dbr:Haskell_(programming_language) dbr:Hindley–Milner_type_inference dbr:Type_annotation dbr:Instance_(type_theory)
dbp:wikiPageUsesTemplate	dbt:Type-theory-stub dbt:Reflist
dct:subject	dbc:Type_theory dbc:Type_inference
rdfs:label	Principal type (en) 主体类型 (zh)
owl:sameAs	freebase:Principal type wikidata:Principal type dbpedia-zh:Principal type dbpedia-global:Principal type
prov:wasDerivedFrom	wikipedia-en:Principal_type?oldid=1309129450&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Principal_type
is dbo:wikiPageRedirects of	dbr:Principal_typing dbr:Principle_type
is dbo:wikiPageWikiLink of	dbr:Hindley–Milner_type_system dbr:Curry–Howard_correspondence dbr:Simply_typed_lambda_calculus dbr:Generalized_algebraic_data_type dbr:Kappa_calculus dbr:Principal_typing dbr:Principle_type
is foaf:primaryTopic of	wikipedia-en:Principal_type

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