@prefix foaf:	<http://xmlns.com/foaf/0.1/> .
@prefix wikipedia-en:	<http://en.wikipedia.org/wiki/> .
@prefix dbr:	<http://dbpedia.org/resource/> .
wikipedia-en:Typing_rule	foaf:primaryTopic	dbr:Typing_rule .
@prefix dbo:	<http://dbpedia.org/ontology/> .
dbr:Subtyping	dbo:wikiPageWikiLink	dbr:Typing_rule .
<http://dbpedia.org/resource/Curry\u2013Howard_correspondence>	dbo:wikiPageWikiLink	dbr:Typing_rule .
<http://dbpedia.org/resource/Hindley\u2013Milner_type_system>	dbo:wikiPageWikiLink	dbr:Typing_rule .
dbr:Standard_ML	dbo:wikiPageWikiLink	dbr:Typing_rule .
dbr:Simply_typed_lambda_calculus	dbo:wikiPageWikiLink	dbr:Typing_rule .
dbr:Typing_environment	dbo:wikiPageWikiLink	dbr:Typing_rule .
dbr:Type_system	dbo:wikiPageWikiLink	dbr:Typing_rule .
dbr:Value_restriction	dbo:wikiPageWikiLink	dbr:Typing_rule .
@prefix owl:	<http://www.w3.org/2002/07/owl#> .
dbr:Typing_rule	owl:sameAs	dbr:Typing_rule ,
		<https://global.dbpedia.org/id/4wyyL> .
@prefix wikidata:	<http://www.wikidata.org/entity/> .
dbr:Typing_rule	owl:sameAs	wikidata:Q7860911 .
@prefix rdfs:	<http://www.w3.org/2000/01/rdf-schema#> .
dbr:Typing_rule	rdfs:label	"Typing rule"@en .
@prefix dct:	<http://purl.org/dc/terms/> .
@prefix dbc:	<http://dbpedia.org/resource/Category:> .
dbr:Typing_rule	dct:subject	dbc:Type_theory ,
		dbc:Data_types ,
		dbc:Program_analysis .
@prefix prov:	<http://www.w3.org/ns/prov#> .
dbr:Typing_rule	prov:wasDerivedFrom	<http://en.wikipedia.org/wiki/Typing_rule?oldid=1290032647&ns=0> ;
	dbo:wikiPageWikiLink	<http://dbpedia.org/resource/Expression_(computer_science)> ,
		<http://dbpedia.org/resource/Decidability_(logic)> ,
		dbr:Inference_rule ,
		dbc:Data_types ,
		<http://dbpedia.org/resource/Judgment_(mathematical_logic)> ,
		dbr:Type_inference ,
		<http://dbpedia.org/resource/Relation_(mathematics)> ,
		dbr:Sequent_calculus ,
		dbr:Axioms ,
		dbr:Boolean_data_type ,
		dbr:Bound_variable ,
		dbr:Internal_language ,
		dbr:Parametric_polymorphism ,
		dbr:Natural_deduction ,
		dbr:Type_theory ,
		dbr:Type_system ,
		<http://dbpedia.org/resource/Variable_(computer_science)> ,
		dbr:Standard_ML ,
		dbr:Cartesian_closed_categories ,
		<http://dbpedia.org/resource/Curry\u2013Howard_correspondence> ,
		<http://dbpedia.org/resource/Hindley\u2013Milner_type_system> ,
		dbc:Program_analysis ,
		dbr:Simply_typed_lambda_calculus ,
		<http://dbpedia.org/resource/Syntax_(programming_languages)> ,
		dbc:Type_theory ,
		dbr:Typing_context ,
		dbr:Type_checking ,
		dbr:Computer_program ;
	dbo:wikiPageExternalLink	<http://www.cs.colorado.edu/~bec/courses/csci5535/reading/cardelli-typesystems.pdf> .
@prefix dbp:	<http://dbpedia.org/property/> .
@prefix dbt:	<http://dbpedia.org/resource/Template:> .
dbr:Typing_rule	dbp:wikiPageUsesTemplate	dbt:Short_description ,
		dbt:Cite_journal ,
		dbt:Type-theory-stub ,
		dbt:Rp ,
		dbt:Reflist ;
	foaf:isPrimaryTopicOf	wikipedia-en:Typing_rule .
dbr:Type_rule	dbo:wikiPageWikiLink	dbr:Typing_rule ;
	dbo:wikiPageRedirects	dbr:Typing_rule .
dbr:Lambda_cube	dbo:wikiPageWikiLink	dbr:Typing_rule .
dbr:Intersection_type_discipline	dbo:wikiPageWikiLink	dbr:Typing_rule .
dbr:Type_rules	dbo:wikiPageWikiLink	dbr:Typing_rule ;
	dbo:wikiPageRedirects	dbr:Typing_rule .