bn:00225797n
Noun Concept
Categories: Polymorphism (computer science), Type theory, Object-oriented programming, Articles with example OCaml code
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