How can covariance in pragmatical class methods be made statically type-safe?

Schmolitzky, Axel; Evered, Mark; Keedy, J. L.; Menger, Gisela

doi:10.1109/tools.1999.809426

Publisher DOI:	10.1109/tools.1999.809426
Title:	How can covariance in pragmatical class methods be made statically type-safe?
Language:	English
Authors:	Schmolitzky, Axel Evered, Mark Keedy, J. L. Menger, Gisela
Editor:	Mingins, Christine Meyer, Bertrand
Issue Date:	1999
Publisher:	IEEE Computer Society
Part of Series:	Technology of object-oriented languages and systems : proceedings
Startpage:	200
Endpage:	210
Conference:	TOOLS 1999
URI:	http://hdl.handle.net/20.500.12738/15727
ISBN:	0-7695-0462-0
Review status:	This version was reviewed (alternative review procedure)
Institute:	Monash University
Type:	Chapter/Article (Proceedings)
Appears in Collections:	Publications without full text