This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
32nd International Conference on Technology of Object-Oriented Languages
How Can Covariance in Pragmatical Class Methods be Made Statically Type-Safe?
Melbourne, Australia
November 22-November 25
ISBN: 0-7695-0462-0
Axel Schmolitzky, Monash University
Mark Evered, University of New England
J. Leslie Keedy, University of Ulm
Gisela Menger, University of Ulm
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:
Axel Schmolitzky, Mark Evered, J. Leslie Keedy, Gisela Menger, "How Can Covariance in Pragmatical Class Methods be Made Statically Type-Safe?," tools, pp.200, 32nd International Conference on Technology of Object-Oriented Languages, 1999
Usage of this product signifies your acceptance of the Terms of Use.