Abadi and Cardelli have recently investigated a calculus of objects [2]. The calculus supports a key feature of object-oriented languages: an object can be emulated by another object that has more refined methods. Abadi and Cardelli presented four first-order type systems for the calculus. The simplest one is based on finite types and no subtyping, and the most powerful one has both recursive types and subtyping. Open until now is the question of type inference, and in the presence of subtyping "the absence of minimum typings poses practical problems for type inference" [2]. In this paper we give an O(n 3 ) algorithm for each of the four type inference problems and we prove that all the problems are P-complete. We also indicate ...
We show that the type inference problem for a lambda calculus with records, including a record conca...
We present a new approach to inferring types in untyped object-oriented programs with inheritance, a...
Partial types for the -calculus were introduced by Thatte in 1988 [8] as a means of typing objects t...
AbstractM. Abadi and L. Cardelli have recently investigated a calculus of objects (1994). The calcul...
Abadi and Cardelli have recently investigated a calculus of objects[2]. The calculus supports a key ...
Abadi and Cardelli [AC96] have presented and investigated object calculi that model most object-orie...
Abadi and Cardelli [AC96] have presented and investigated object calculi that model most object-orie...
Existing type systems for object calculi are based on invariant subtyping. Subtyping invariance is r...
AbstractRecord concatenation, multiple inheritance, and multiple-object cloning are closely related ...
Existing type systems for object calculi [2] are based on invariant subtyping. Subtyping invariance ...
AbstractExisting type systems for object calculi are based on invariant subtyping. Subtyping invaria...
Type systems in object-oriented systems are useful tools to ensure correctness, safety, and integrat...
We present a type inference system for a language with object-oriented features such as polymorphic ...
We show how type inference for object oriented programming languages with state can be performed wit...
AbstractWe define a powerful type inference mechanism with application to object-oriented programmin...
We show that the type inference problem for a lambda calculus with records, including a record conca...
We present a new approach to inferring types in untyped object-oriented programs with inheritance, a...
Partial types for the -calculus were introduced by Thatte in 1988 [8] as a means of typing objects t...
AbstractM. Abadi and L. Cardelli have recently investigated a calculus of objects (1994). The calcul...
Abadi and Cardelli have recently investigated a calculus of objects[2]. The calculus supports a key ...
Abadi and Cardelli [AC96] have presented and investigated object calculi that model most object-orie...
Abadi and Cardelli [AC96] have presented and investigated object calculi that model most object-orie...
Existing type systems for object calculi are based on invariant subtyping. Subtyping invariance is r...
AbstractRecord concatenation, multiple inheritance, and multiple-object cloning are closely related ...
Existing type systems for object calculi [2] are based on invariant subtyping. Subtyping invariance ...
AbstractExisting type systems for object calculi are based on invariant subtyping. Subtyping invaria...
Type systems in object-oriented systems are useful tools to ensure correctness, safety, and integrat...
We present a type inference system for a language with object-oriented features such as polymorphic ...
We show how type inference for object oriented programming languages with state can be performed wit...
AbstractWe define a powerful type inference mechanism with application to object-oriented programmin...
We show that the type inference problem for a lambda calculus with records, including a record conca...
We present a new approach to inferring types in untyped object-oriented programs with inheritance, a...
Partial types for the -calculus were introduced by Thatte in 1988 [8] as a means of typing objects t...