Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
@inproceedings{OBJwMIpadl04, author = "Chiyan Chen and Rui Shi and Hongwei Xi", title = {{A Typeful Approach to Object-Oriented Programming with Multiple Inheritance}}, booktitle = "Proceedings of the 6th International Symposium on Practical Aspects of Declarative Languages", publisher = "Springer-Verlag LNCS vol. 3057", pages = "23--38", year = "2004", month = "June", address = "Dallas, TX", abstract = {{ The wide practice of objected oriented programming (OOP) in current software practice is evident. Despite extensive studies on typing programming objects, it is still undeniably a challenging research task to design a type system that can satisfactorily account for a variety of features (e.g., binary methods and multiple inheritance) in OOP. In this paper, we present a typeful approach to implementing objects that makes use of a recently introduced notion of guarded datatypes. In particular, we demonstrate how the feature of multiple inheritance can be supported with this approach, presenting a simple and general account for multiple inheritance in a typeful manner. }} }