The Pedia - Covariance and contravariance (computer science)

Site Navigation

Categories:
category theory
category theory
Object-oriented programming
Type theory

Summary Of: Covariance and contravariance (computer science)

Encyclodia Page On: Covariance and contravariance (computer science)

These Are Links To Other Documents

type system | programming language | ordering, ≤, of types | category theory | class hierarchies | object-oriented languages | substitutable | array types | type safe | object-oriented programming | overriding | methods | subclasses | category theory | type system | functor | contravariant | covariant | Eiffel | visitor pattern | C++ | multiple dispatch | multiple dispatch | generic programming | parametric polymorphism | exception handling | subtype | C++ | return types | virtual functions | generic programming | std::vector | std::string | parametric polymorphism | C# | D Programming Language | Java | J2SE 5.0 | method overriding | overloaded | Generics | Eiffel | substitutable | polymorphism | compiler | REALbasic | Scala | Sather | Polymorphism (computer science) | Inheritance (computer science) | Luca Cardelli | Categories | Object-oriented programming | Type theory |

This article is licensed under the GNU Free Documentation License. It uses material from the Wikipedia article "Covariance and contravariance (computer science)".