Type-safe covariance in C++.

Vitaly Surazhsky, Joseph Gil

Browse the full SAC paper archive.