SHMARQL

variance

<http://www.wikidata.org/entity/Q362031>

relationship between a generic type or a function and a component type on subtyping
rdfs:label
"variance"@en
skos:altLabel
"bivariance"@en
"bivariant"@en
"co- and contravariance"@en
"contravariance"@en
"contravariant"@en
"covariance"@en
"covariance and contravariance"@en
"covariant"@en
"invariance"@en
"invariant"@en
"nonvariance"@en
"nonvariant"@en
"subtype variance"@en
"subtyping variance"@en
"type variance"@en
"variance of a type"@en
"variance of types"@en
"variant"@en
schema:description
"relationship between a generic type or a function and a component type on subtyping"@en
schema:dateModified "2026-01-28T17:29:31+00:00"^^xsd:dateTime
schema:version 2458735340
wikibase:identifiers 2
wikibase:sitelinks 13
wikibase:statements 8
p:P1269 wd:statement/Q362031-29c24986-47c9-97f9-8a44-27cb6fbade91
wd:statement/Q362031-93b77320-4dcb-0b05-0e7a-d018dc8e79a3
wd:statement/Q362031-d9a3b19a-4f50-d33c-f70d-d24ff878ec33
p:P13044 wd:statement/Q362031-D7F70BCE-D4FB-4100-8648-31D8174E7822
p:P2737 wd:statement/Q362031-d3889989-44f8-3b2b-d083-3ad537134090
p:P31 wd:statement/Q362031-edd8a70b-4927-5d58-856d-27033330460c
p:P6366 wd:statement/Q362031-5815ACD1-9740-425B-8245-37C2CA02482A
p:P646 wd:statement/Q362031-ACBC8FC6-657D-4CD9-BAC3-3AE49EE15BE9
p:direct-normalized/P6366 <https://makg.org/entity/117482240>
wdt:P1269 generic programming
subtyping
type constructor
wdt:P13044 type constructor
wdt:P2737 list of values as qualifiers
wdt:P31 quality
wdt:P6366 "117482240"
wdt:P646 "/m/046c29"
Download as:
TurtleJSON-LDRDF/XML
data from SPARQL profile: Wikidata