The Community for Technology Leaders
RSS Icon
Subscribe
Nanjing, China
Sept. 22, 1999 to Sept. 25, 1999
ISBN: 0-7695-0393-4
pp: 200
Mark Evered , University of New England
J. Leslie Keedy , University of Ulm
Axel Schmolitzky , Monash University
ABSTRACT
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.
INDEX TERMS
language design, binary methods, pragmatical class methods, covariance, static type safety
CITATION
Mark Evered, J. Leslie Keedy, Axel Schmolitzky, "How Can Covariance in Pragmatical Class Methods be Made Statically Type-Safe?", TOOLS, 1999, Proceedings Technology of Object-Oriented Languages and Systems. TOOLS 31, Proceedings Technology of Object-Oriented Languages and Systems. TOOLS 31 1999, pp. 200, doi:10.1109/TOOLS.1999.809426
49 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool