English Covariance and contravariance (computer science) Cited by user RDBrown on 07 Oct 2021 Many programming language type systems support subtyping. For instance, if the type is a subtype of, then an expression of type should be substitutable wherever an…