The Community for Technology Leaders
Technology of Object-Oriented Languages, International Conference on (1999)
Melbourne, Australia
Nov. 22, 1999 to Nov. 25, 1999
ISSN: 1530-2067
ISBN: 0-7695-0462-0
pp: 200
Mark Evered , University of New England
Gisela Menger , University of Ulm
J. Leslie Keedy , University of Ulm
Axel Schmolitzky , Monash University
Binary class methods are often more suitable for modeling binary operations than binary instance methods. Allowing covariant parameter type adaptations in class methods can make them even more attractive. In this paper we discuss the implications of covariant class methods on type safety. We discuss two examples, one type-safe at run-time and the other not, and formulate type rules that make it possible to identify the difference at compile-time.
language design, binary methods, pragmatical class methods, covariance, static type safety
Mark Evered, Gisela Menger, J. Leslie Keedy, Axel Schmolitzky, "How Can Covariance in Pragmatical Class Methods be Made Statically Type-Safe?", Technology of Object-Oriented Languages, International Conference on, vol. 00, no. , pp. 200, 1999, doi:10.1109/TOOLS.1999.809426
98 ms
(Ver 3.1 (10032016))