Type inference for record concatenation and multiple inheritance

Publisher Website

1 July 1991

journal article
Published by Elsevier in Information and Computation

Vol. 93 (1) , 1-15
https://doi.org/10.1016/0890-5401(91)90050-c

Abstract

No abstract available

Keywords

This publication has 3 references indexed in Scilit:

A theory of type polymorphism in programming
Published by Elsevier ,2003
A semantics of multiple inheritance
Information and Computation, 1988
On understanding types, data abstraction, and polymorphism
ACM Computing Surveys, 1985