Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
About:
Covariance and contravariance (computer science)
An Entity of Type:
Thing
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia-live.demo.openlinksw.com
Relationship between a generic type or a function and a component type on subtyping
Property
Value
dbo:
description
relationship between a generic type or a function and a component type on subtyping
(en)
relation entre un type générique et un de ses types composant lors du sous-typage
(fr)
proprietà di operatori sui tipi nei linguaggi di programmazione
(it)
forholdet mellem en artsbestemt type el. funktion på den ene side og en undertypekomponent på den anden
(da)
dbo:
thumbnail
wiki-commons
:Special:FilePath/Inheritance_covariant_argument.svg?width=300
dbo:
wikiPageExternalLink
http://www.javac.info/closures-v05.html
http://tomasp.net/blog/variance-explained.aspx/
http://c2.com/cgi/wiki%3FContraVsCoVariance
http://blogs.msdn.com/ericlippert/archive/tags/Covariance+and+Contravariance/default.aspx
dbo:
wikiPageWikiLink
dbr
:Robustness_principle
dbr
:Category_theory
dbr
:First-class_function
dbr
:C++
dbr
:C_Sharp_(programming_language)
dbr
:Parametric_polymorphism
dbr
:Polymorphism_(computer_science)
dbr
:Subtyping
dbr
:Eiffel_(programming_language)
dbr
:Java_Platform,_Standard_Edition
dbr
:Rule_of_inference
dbr
:Kotlin_(programming_language)
dbr
:Type_constructor
dbr
:D_(programming_language)
dbr
:Duck_typing
dbr
:Type_system
dbr
:Function_type
dbr
:Function_overloading
dbr
:Method_overriding
dbr
:Dart_(programming_language)
dbr
:Java_(programming_language)
dbr
:OCaml
dbr
:Animal_shelter
dbr
:Multiple_dispatch
dbr
:Liskov_substitution_principle
dbr
:Programming_language
dbr
:Common_Lisp_Object_System
dbr
:Joshua_Bloch
dbc
:Polymorphism_(computer_science)
dbc
:Type_theory
dbr
:John_C._Reynolds
dbr
:Higher-order_function
dbr
:Scala_(programming_language)
dbr
:Sather
dbr
:Martin_Odersky
dbr
:Wildcard_(Java)
dbr
:Undecidable_problem
dbr
:Covariant_return_type
dbr
:Bounded_quantification
dbr
:Unified_Modeling_Language
dbr
:Variable_shadowing
dbc
:Object-oriented_programming
dbr
:Type_inference
dbr
:Luca_Cardelli
dbr
:Array_data_type
dbr
:Existential_type
dbr
:Generic_datatype
dbr
:File:AnimalShelter.svg
dbr
:File:Inheritance_contravariant_argument_animalshelter.svg
dbr
:File:Inheritance_covariant_argument_animalshelter.svg
dbr
:File:Inheritance_covariant_return_animalshelter.svg
dbr
:File:Java_wildcard_subtyping.svg
dbr
:Closure_(computer_science)
dbr
:Covariance_and_contravariance_of_functors
dbr
:Inheritance_(computer_science)
dbr
:Java_(Programming_language)
dbp:
wikiPageUsesTemplate
dbt
:C_sharp
dbt
:Clear
dbt
:Sfn
dbt
:More_citations_needed_section
dbt
:Type_systems
dbt
:Notefoot
dbt
:Notetag
dbt
:Rp
dbt
:Uncited_section
dbt
:Java
dbt
:OCaml
dbt
:Short_description
dct:
subject
dbc
:Polymorphism_(computer_science)
dbc
:Type_theory
dbc
:Object-oriented_programming
rdfs:
label
Covariance and contravariance (computer science)
(en)
لاتباين وتباين مرافق وتباين معاكس
(ar)
Covarianza y contravarianza (ciencias de la computación)
(es)
Kovarianz und Kontravarianz
(de)
共変性と反変性 (計算機科学)
(ja)
Covarianza e controvarianza (informatica)
(it)
공변성과 반공변성 (컴퓨터 과학)
(ko)
Ковариантность и контравариантность (программирование)
(ru)
Коваріантність і контраваріантність (програмування)
(uk)
协变与逆变
(zh)
owl:
sameAs
freebase
:Covariance and contravariance (computer science)
wikidata
:Covariance and contravariance (computer science)
dbpedia-it
:Covariance and contravariance (computer science)
dbpedia-de
:Covariance and contravariance (computer science)
dbpedia-zh
:Covariance and contravariance (computer science)
dbpedia-ja
:Covariance and contravariance (computer science)
dbpedia-es
:Covariance and contravariance (computer science)
dbpedia-fa
:Covariance and contravariance (computer science)
dbpedia-ru
:Covariance and contravariance (computer science)
dbpedia-ko
:Covariance and contravariance (computer science)
dbpedia-ar
:Covariance and contravariance (computer science)
dbpedia-uk
:Covariance and contravariance (computer science)
dbpedia-global
:Covariance and contravariance (computer science)
dbr
:Covariance and contravariance (computer science)
prov:
wasDerivedFrom
wikipedia-en
:Covariance_and_contravariance_(computer_science)?oldid=1292646630&ns=0
foaf:
depiction
wiki-commons
:Special:FilePath/AnimalShelter.svg
wiki-commons
:Special:FilePath/Inheritance_contravariant_argument.svg
wiki-commons
:Special:FilePath/Inheritance_contravariant_argument_animalshelter.svg
wiki-commons
:Special:FilePath/Inheritance_covariant_argument.svg
wiki-commons
:Special:FilePath/Inheritance_covariant_argument_animalshelter.svg
wiki-commons
:Special:FilePath/Inheritance_covariant_return.svg
wiki-commons
:Special:FilePath/Inheritance_covariant_return_animalshelter.svg
wiki-commons
:Special:FilePath/Inheritance_invariant.svg
wiki-commons
:Special:FilePath/Java_wildcard_subtyping.svg
wiki-commons
:Special:FilePath/Vererbung_T.svg
foaf:
isPrimaryTopicOf
wikipedia-en
:Covariance_and_contravariance_(computer_science)
is
dbo:
wikiPageDisambiguates
of
dbr
:Variance_(disambiguation)
is
dbo:
wikiPageRedirects
of
dbr
:Contravariance_(computer_science)
dbr
:Covariance_(computer_science)
dbr
:Contravariance_and_covariance_(computer_science)
dbr
:Invariance_(computer_science)
dbr
:Bivariance
dbr
:Bivariance_(computer_science)
dbr
:Bivariant
dbr
:Covariant_return_types
dbr
:Covariant_type
dbr
:Parameter_covariance
dbr
:Nonvariance
dbr
:Nonvariance_(computer_science)
dbr
:Nonvariant
dbr
:Variance_(computer_science)
dbr
:Variance_annotation
is
dbo:
wikiPageWikiLink
of
dbr
:Robustness_principle
dbr
:C_Sharp_(programming_language)
dbr
:Polymorphism_(computer_science)
dbr
:Subtyping
dbr
:Comparison_of_C_Sharp_and_Java
dbr
:Tilde
dbr
:D_(programming_language)
dbr
:Type_system
dbr
:C_Sharp_syntax
dbr
:Multiple_dispatch
dbr
:Liskov_substitution_principle
dbr
:C_Sharp_2.0
dbr
:C_Sharp_4.0
dbr
:Bivariant_theory
dbr
:Contravariance_(computer_science)
dbr
:Covariance_(computer_science)
dbr
:Generic_programming
dbr
:Covariance_(disambiguation)
dbr
:Invariant
dbr
:Scala_(programming_language)
dbr
:Sather
dbr
:Wildcard_(Java)
dbr
:Covariant_return_type
dbr
:Bounded_quantification
dbr
:Index_of_object-oriented_programming_articles
dbr
:Generics_in_Java
dbr
:Covariance_and_contravariance
dbr
:Bottom_type
dbr
:Variance_(disambiguation)
dbr
:Contravariance_and_covariance_(computer_science)
dbr
:Invariance_(computer_science)
dbr
:Bivariance
dbr
:Bivariance_(computer_science)
dbr
:Bivariant
dbr
:Covariant_return_types
dbr
:Covariant_type
dbr
:Parameter_covariance
dbr
:Nonvariance
dbr
:Nonvariance_(computer_science)
dbr
:Nonvariant
dbr
:Variance_(computer_science)
dbr
:Variance_annotation
is
foaf:
primaryTopic
of
wikipedia-en
:Covariance_and_contravariance_(computer_science)
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 4.0 International