Efficient Inference of Object Types

DMCA

Efficient Inference of Object Types (1995)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Jens Palsberg

Citations:

60 - 5 self

BibTeX

@MISC{Palsberg95efficientinference,
    author = {Jens Palsberg},
    title = {Efficient Inference of Object Types},
    year = {1995}
}

OpenURL

Abstract

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...

Keyphrases

efficient inference object type type inference practical problem recursive type finite type object-oriented language first-order type system key feature minimum typing

DMCA