About: Intersection type

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

Concept in type theory

Property	Value
dbo:description	concept in type theory (en)
dbo:wikiPageWikiLink	dbr:Type_safety dbr:Whiley_(programming_language) dbr:Functional_programming dbr:Imperative_programming dbr:C_Sharp_(programming_language) dbr:Object-oriented_programming dbr:Parametric_polymorphism dbr:F_Sharp_(programming_language) dbr:Singleton_pattern dbr:Duck_typing dbr:Type_theory dbr:Function_overloading dbr:Java_(programming_language) dbr:PHP dbr:Inheritance_(object-oriented_programming) dbr:Composite_data_type dbr:Boilerplate_code dbr:TypeScript dbr:Product_type dbc:Data_types dbr:Dependent_type dbr:Ad_hoc_polymorphism dbr:Ceylon_(programming_language) dbc:Polymorphism_(computer_science) dbc:Type_theory dbr:Scripting_language dbr:Scala_(programming_language) dbr:Tuple dbr:Cross-cutting_concern dbc:Composite_data_types dbc:Type_systems dbc:TypeScript dbr:Visitor_pattern dbr:Forsythe_(programming_language) dbr:Record_(computer_science) dbr:Refinement_type dbr:Intersection_type_discipline dbr:Microsoft_TypeScript dbr:Intersection_type_system dbr:Code_duplication
dbp:wikiPageUsesTemplate	dbt:Code dbt:Data_types dbt:No dbt:TS-lang dbt:Dunno dbt:Yes dbt:Type_systems dbt:Maybe dbt:RefList dbt:Short_description
dct:subject	dbc:Data_types dbc:Polymorphism_(computer_science) dbc:Type_theory dbc:Composite_data_types dbc:Type_systems dbc:TypeScript
rdfs:label	Intersection type (en)
owl:sameAs	wikidata:Intersection type dbpedia-global:Intersection type
prov:wasDerivedFrom	wikipedia-en:Intersection_type?oldid=1291732506&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Intersection_type
is dbo:knownFor of	dbr:John_C._Reynolds
is dbo:wikiPageRedirects of	dbr:Comparison_of_languages_with_intersection_types dbr:Comparison_of_programming_languages_(intersection_types)
is dbo:wikiPageWikiLink of	dbr:Whiley_(programming_language) dbr:Type_system dbr:TypeScript dbr:List_of_programmers dbr:Ceylon_(programming_language) dbr:John_C._Reynolds dbr:List_of_computer_scientists dbr:Void_safety dbr:Intersection_type_discipline dbr:Comparison_of_languages_with_intersection_types dbr:Comparison_of_programming_languages_(intersection_types)
is foaf:primaryTopic of	wikipedia-en:Intersection_type