About: Typing rule

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

unknown

Property	Value
dbo:wikiPageExternalLink	http://www.cs.colorado.edu/~bec/courses/csci5535/reading/cardelli-typesystems.pdf
dbo:wikiPageWikiLink	dbr:Natural_deduction dbr:Sequent_calculus dbr:Parametric_polymorphism dbr:Syntax_(programming_languages) dbr:Variable_(computer_science) dbr:Standard_ML dbr:Decidability_(logic) dbr:Hindley–Milner_type_system dbr:Boolean_data_type dbr:Type_system dbr:Type_theory dbc:Program_analysis dbr:Bound_variable dbc:Data_types dbr:Computer_program dbc:Type_theory dbr:Judgment_(mathematical_logic) dbr:Simply_typed_lambda_calculus dbr:Type_inference dbr:Curry–Howard_correspondence dbr:Expression_(computer_science) dbr:Axioms dbr:Relation_(mathematics) dbr:Internal_language dbr:Cartesian_closed_categories dbr:Inference_rule dbr:Type_checking dbr:Typing_context
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:Cite_journal dbt:Type-theory-stub dbt:Rp dbt:Short_description
dct:subject	dbc:Program_analysis dbc:Data_types dbc:Type_theory
rdfs:label	Typing rule (en)
owl:sameAs	wikidata:Typing rule dbpedia-global:Typing rule dbr:Typing rule
prov:wasDerivedFrom	wikipedia-en:Typing_rule?oldid=1290032647&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Typing_rule
is dbo:wikiPageRedirects of	dbr:Type_rule dbr:Type_rules
is dbo:wikiPageWikiLink of	dbr:Subtyping dbr:Standard_ML dbr:Typing_environment dbr:Hindley–Milner_type_system dbr:Type_system dbr:Value_restriction dbr:Simply_typed_lambda_calculus dbr:Curry–Howard_correspondence dbr:Lambda_cube dbr:Intersection_type_discipline dbr:Type_rule dbr:Type_rules
is foaf:primaryTopic of	wikipedia-en:Typing_rule