Paper Info
Title
A Typeful Approach to Object-Oriented Programming with Multiple Inheritance
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.
Year
DOI
Venue
2004
10.1109/ICPR.2004.1333990
Lecture Notes in Computer Science
Keywords
Field
DocType
multiple inheritance,type system,object oriented programming
Composition over inheritance,Binary methods,Programming language,Object-oriented programming,Computer science,Parametric polymorphism,Type theory,Theoretical computer science,Software,Data type,Multiple inheritance
Conference
Volume
ISSN
Citations 
3057
0302-9743
2
PageRank 
References 
Authors
0.43
11
3
Name
Order
Citations
PageRank
Chiyan Chen1955.37
Rui Shi229828.07
Hongwei Xi365256.11