Computing
Object-oriented programming
Covariance and contravariance
Polymorphism
C++
Benchmark
Banana
Software engineering
Food and drink
Type theory