bn:00225797n
Noun Concept
Categories: Articles with example OCaml code, Polymorphism (computer science), Type theory, Object-oriented programming
EN
covariance and contravariance  variance  bivariance  bivariant  co- and contravariance
EN
The type system of many programming languages supports subtyping. Wikipedia
English:
computer science
Definitions
Relations
Sources