Software engineering despite object-orientation Evered, Mark Menger, Gisela Keedy, J. Leslie Schmolitzky, Axel 1999 - ReposIt
How can covariance in pragmatical class methods be made statically type-safe? Schmolitzky, Axel Evered, Mark Keedy, J. L. Menger, Gisela 1999 - ReposIt