Sciweavers

PADL
2004
Springer

A Typeful Approach to Object-Oriented Programming with Multiple Inheritance

14 years 5 months ago
A Typeful Approach to Object-Oriented Programming with Multiple Inheritance
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.
Chiyan Chen, Rui Shi, Hongwei Xi
Added 02 Jul 2010
Updated 02 Jul 2010
Type Conference
Year 2004
Where PADL
Authors Chiyan Chen, Rui Shi, Hongwei Xi
Comments (0)