Sound polymorphic type inference for objects

TL;DR: This work designs a type system which rules out unsafe recursion and still supports the reconstruction of a principal type, and illustrates by means of various examples the expressive power of this language with respect to object-oriented programming constructs.

TL;DR: A type system that allows explicit extension of objects through add operation and implicit extension through method calls is defined and permits strong updates and unrestricted extensions to new objects.

TL;DR: This work proposes an extension of Java-like languages which allows developers to forget about typing in strategic places of their programs without losing type-safety, and allows programmers to write simpler code without sacrificing the advantages of static typing.

TL;DR: In this article, a collection of type constraint rules for the polymorphic version of AspectJ is proposed, together with an existing constraint based algorithm to enable the conversion of non-generic code to add actual type parameters in both Java and aspectJ languages.

TL;DR: This work presents a formal type discipline for polymorphic procedures in the context of a simple programming language, and a compile time type-checking algorithm w which enforces the discipline.

TL;DR: The notion of inheritance and object-oriented programming first appeared in Simula 67 (Dahl, 1966), where objects are grouped into classes and classes can be organized into a subclass hierarchy as discussed by the authors.

TL;DR: The type and effect discipline, a framework for reconstructing the principal type and the minimal effect of expressions in implicitly typed polymorphic functional languages that support imperative constructs, is introduced and outperforms other polymorphic type systems.

TL;DR: This work presents an incremental constraint-based type inference which produces precise concrete type information for a much larger class of programs at lower cost and reports performance results, precision, and running time which confirm the algorithm's precision and efficiency.