About: Subtyping

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

A form of type polymorphism

Property	Value
dbo:description	a form of type polymorphism (en) en programmeringstype inden for polymorfisme (da) type de polymorphisme en programmation (fr) 一种类型多态的形式 (zh)
dbo:thumbnail	wiki-commons:Special:FilePath/Inheritance.svg?width=300
dbo:wikiPageWikiLink	dbr:System_F-sub dbr:File:Inheritance.svg dbr:Category_theory dbr:Trait_(computer_programming) dbr:Object-oriented_programming dbr:Parametric_polymorphism dbr:Polymorphism_(computer_science) dbr:Typing_rule dbr:Identity_function dbr:Duck_typing dbr:Type_system dbr:Type_theory dbr:Supertype dbr:Class-based_programming dbr:Structural_type_system dbr:Preorder dbr:Set-builder_notation dbr:Java_(programming_language) dbr:Formal_language dbr:Simula dbr:Algebraic_data_type dbr:Liskov_substitution_principle dbr:Disjoint_union dbr:Top_type dbc:Data_types dbr:Programming_language dbr:Keynote dbr:Martín_Abadi dbr:Jeannette_Wing dbc:Polymorphism_(computer_science) dbc:Type_theory dbr:Covariance_and_contravariance_(computer_science) dbr:Binary_relation dbr:Generic_programming dbr:Type_conversion dbr:John_C._Reynolds dbr:Bounded_polymorphism dbr:Scala_(programming_language) dbr:Nominal_type_system dbr:Undecidable_problem dbr:Bounded_quantification dbr:Unified_Modeling_Language dbr:Invariant_(computer_science) dbr:Simply_typed_lambda_calculus dbc:Object-oriented_programming dbr:Immutable_object dbr:Programming_language_theory dbr:Application_programming_interface dbr:Record_(computer_science) dbr:Luca_Cardelli dbr:Refinement_type dbr:Abstraction_principle_(programming) dbr:Datatype dbr:Behavioral_subtyping dbr:Subroutines dbr:Barbara_Liskov dbr:Holonymy dbr:Hyponymy dbr:Order-sorted_logic dbr:User-defined_type dbr:Circle-ellipse_problem dbr:Method_(computer_science) dbr:Design_by_Contract dbr:Function_literals dbr:Functional_programming_languages dbr:Identity_relation dbr:Implicit_conversion dbr:Inheritance_(computer_science) dbr:Substitutability dbr:Subtyping_of_functions dbr:Type_checker dbr:Type_coercion
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:Math dbt:Code dbt:Wikibooks dbt:Sfn dbt:Cite_conference dbt:Data_types dbt:Var dbt:Original_research dbt:Polymorphism dbt:ISBN dbt:Refend dbt:Refbegin dbt:Citation_needed dbt:Mvar dbt:Section_link dbt:Short_description
dct:subject	dbc:Data_types dbc:Polymorphism_(computer_science) dbc:Type_theory dbc:Object-oriented_programming
gold:hypernym	dbr:Form
rdfs:label	Subtyping (en) Πολυμορφισμός υποτύπων (el) サブタイピング (計算機科学) (ja) Sottotipo (informatica) (it) Podtyp (programowanie) (pl) Polymorfism (programmering) (sv) 子类型 (zh)
owl:sameAs	freebase:Subtyping yago-res:Subtyping wikidata:Subtyping dbpedia-it:Subtyping dbpedia-zh:Subtyping dbpedia-ja:Subtyping dbpedia-fa:Subtyping dbpedia-sv:Subtyping dbpedia-pl:Subtyping dbpedia-el:Subtyping dbpedia-bn:Subtyping dbpedia-global:Subtyping
prov:wasDerivedFrom	wikipedia-en:Subtyping?oldid=1292323950&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Inheritance.svg
foaf:isPrimaryTopicOf	wikipedia-en:Subtyping
is dbo:wikiPageRedirects of	dbr:Supertype dbr:Interface_inheritance dbr:Inclusion_polymorphism dbr:Subtype_(computing) dbr:Subtype_and_derived_type dbr:Subtype_polymorphism dbr:Subtypes dbr:Subtyping_(object-oriented_programming) dbr:Subtyping_of_functions dbr:Subtyping_polymorphism
is dbo:wikiPageWikiLink of	dbr:Factory_method_pattern dbr:Type_safety dbr:System_F dbr:Nominative_and_structural_type_systems dbr:Monad_(functional_programming) dbr:Object-oriented_programming dbr:Parametric_polymorphism dbr:Polymorphism_(computer_science) dbr:Lambda_calculus dbr:Variable_(computer_science) dbr:Oberon-2 dbr:Object_composition dbr:Type_system dbr:Cut,_copy,_and_paste dbr:Type_theory dbr:Conceptual_schema dbr:Supertype dbr:Typed_lambda_calculus dbr:Alloy_(specification_language) dbr:Gellish dbr:Functional_predicate dbr:Class-based_programming dbr:Object_slicing dbr:Abstract_factory_pattern dbr:Method_overriding dbr:Object-based_language dbr:Structural_type_system dbr:Preorder dbr:Inheritance_(object-oriented_programming) dbr:Simula dbr:Composite_data_type dbr:Liskov_substitution_principle dbr:Subsumption dbr:Top_type dbr:Change_management_(engineering) dbr:Polymorphism dbr:Object-oriented_design dbr:Covariance_and_contravariance_(computer_science) dbr:Generic_programming dbr:Hierarchy dbr:Type_conversion dbr:Ada_(programming_language) dbr:Class_diagram dbr:Julia_(programming_language) dbr:Numerical_tower dbr:Has-a dbr:Bounded_quantification dbr:Bounded_quantifier dbr:Index_of_object-oriented_programming_articles dbr:POPLmark_challenge dbr:Adapter_pattern dbr:Abstract_type dbr:Is-a dbr:Lambda_cube dbr:Common_Algebraic_Specification_Language dbr:Higher_order_grammar dbr:Troponymy dbr:Bottom_type dbr:Constructive_set_theory dbr:Derived_type dbr:Name_binding dbr:Universal_type dbr:Agile_Automation dbr:Gradual_typing dbr:Barbara_Liskov dbr:Subtype dbr:Interface_inheritance dbr:Inclusion_polymorphism dbr:Subtype_(computing) dbr:Subtype_and_derived_type dbr:Subtype_polymorphism dbr:Subtypes dbr:Subtyping_(object-oriented_programming) dbr:Subtyping_of_functions dbr:Subtyping_polymorphism
is rdfs:seeAlso of	dbr:C++_syntax
is foaf:primaryTopic of	wikipedia-en:Subtyping