Add to ORKGThis paper relates two views of the operational semantics of a language with multiple inheritance. It is shown that the introduction of explicit coercions as an interpretation for the implicit coercion of inheritance does not affect the evaluation of a program in an essential way. The result is proved by semantic means using a denotational model and a computational adequacy result to relate the operational and denotational semantics
Some programs are not merely sets of batch instructions performed in isolation. They interact, eithe...
Wrappers are a mechanism in denotational semantic that model class inheritance of object oriented pr...
AbstractTwo definitions of a language of communicating programs are offered: one by denotational sem...
This paper relates two views of the operational semantics of a language with multiple inheritance. I...
We present a method for providing semantic interpretations for languages with a type system featurin...
Inheritance as Implicit Coercion We present a method for providing semantic interpretations for lang...
This paper presents a denotational model of inheritance. The model is based on an inituitive motiva...
AbstractThis paper presents a denotational model of inheritance. The model is based on an intuitive ...
AbstractWe present a method for providing semantic interpretations for languages with a type system ...
AbstractCoercion can greatly improve the readability of programs, especially in arithmetic expressio...
The classical view of semantics that we inherited from Montague is that natural languages are formal...
In this paper we explain how recursion operators can be used to structure and reason about program s...
We present a method for providing semantic interpretations for languages with a type system featurin...
Effects and coeffects are two general, complementary aspects of program behaviour. They roughly corr...
A coercion semantics of a programming language with subtyping is typically defined on typing derivat...
Some programs are not merely sets of batch instructions performed in isolation. They interact, eithe...
Wrappers are a mechanism in denotational semantic that model class inheritance of object oriented pr...
AbstractTwo definitions of a language of communicating programs are offered: one by denotational sem...
This paper relates two views of the operational semantics of a language with multiple inheritance. I...
We present a method for providing semantic interpretations for languages with a type system featurin...
Inheritance as Implicit Coercion We present a method for providing semantic interpretations for lang...
This paper presents a denotational model of inheritance. The model is based on an inituitive motiva...
AbstractThis paper presents a denotational model of inheritance. The model is based on an intuitive ...
AbstractWe present a method for providing semantic interpretations for languages with a type system ...
AbstractCoercion can greatly improve the readability of programs, especially in arithmetic expressio...
The classical view of semantics that we inherited from Montague is that natural languages are formal...
In this paper we explain how recursion operators can be used to structure and reason about program s...
We present a method for providing semantic interpretations for languages with a type system featurin...
Effects and coeffects are two general, complementary aspects of program behaviour. They roughly corr...
A coercion semantics of a programming language with subtyping is typically defined on typing derivat...
Some programs are not merely sets of batch instructions performed in isolation. They interact, eithe...
Wrappers are a mechanism in denotational semantic that model class inheritance of object oriented pr...
AbstractTwo definitions of a language of communicating programs are offered: one by denotational sem...