AbstractWe introduce simple object calculi that support method override and object subsumption. We give an untyped calculus, typing rules, and equational rules. We illustrate the expressiveness of our calculi and the pitfalls that we avoid
Many calculi exist for modelling various features of object-oriented languages. Many of them are bas...
AbstractRecent years have seen the development of several foundational models for statically typed o...
The fi rst part of this thesis consists of two research papers and concerns the fi eld of denotation...
AbstractWe introduce simple object calculi that support method override and object subsumption. We g...
International audienceWe investigate a first-order extension of the Theory of Primitive Objects of [...
AbstractWe describe a second-order calculus of objects. The calculus supports object subsumption, me...
International audienceIn this paper, we present an explicitly typed version of the Lambda Calculus o...
AbstractAn interpretation of Abadi and Cardelli's first-order functionobject calculusinto a typedπ-c...
. This paper presents an imperative object calculus designed to support class-based programming via ...
Finding typed encodings of object-oriented into procedural or functional programming sheds light on ...
Abadi and Cardelli have recently investigated a calculus of objects [2]. The calculus supports a key...
International audienceThe last few years have seen the development of statically typed object based ...
International audienceThis paper extends the Lambda Calculus of Objects as proposed in [5] with a ne...
International audienceIn this paper we investigate, in the context of functional prototype-based lan...
We present a simple extension of typed -calculus where functions can be over-loaded by putting diere...
Many calculi exist for modelling various features of object-oriented languages. Many of them are bas...
AbstractRecent years have seen the development of several foundational models for statically typed o...
The fi rst part of this thesis consists of two research papers and concerns the fi eld of denotation...
AbstractWe introduce simple object calculi that support method override and object subsumption. We g...
International audienceWe investigate a first-order extension of the Theory of Primitive Objects of [...
AbstractWe describe a second-order calculus of objects. The calculus supports object subsumption, me...
International audienceIn this paper, we present an explicitly typed version of the Lambda Calculus o...
AbstractAn interpretation of Abadi and Cardelli's first-order functionobject calculusinto a typedπ-c...
. This paper presents an imperative object calculus designed to support class-based programming via ...
Finding typed encodings of object-oriented into procedural or functional programming sheds light on ...
Abadi and Cardelli have recently investigated a calculus of objects [2]. The calculus supports a key...
International audienceThe last few years have seen the development of statically typed object based ...
International audienceThis paper extends the Lambda Calculus of Objects as proposed in [5] with a ne...
International audienceIn this paper we investigate, in the context of functional prototype-based lan...
We present a simple extension of typed -calculus where functions can be over-loaded by putting diere...
Many calculi exist for modelling various features of object-oriented languages. Many of them are bas...
AbstractRecent years have seen the development of several foundational models for statically typed o...
The fi rst part of this thesis consists of two research papers and concerns the fi eld of denotation...
DOI
Add to ORKG