We consider the problem of representing heterogeneous collections of objects in a typed polymorphic programming language in such a way that common properties of members of a collection, such as having commonly named field with a common type can be expressed in the type system. The use of such collections is widespread in object-oriented and database programming and has so far been achieved in statically typed systems only through the use of a single dynamic type, which effectively hides all the structure of a value. In this paper we exploit a system of types and kinds (sets of types) to represent dynamic values with some known properties. The type system is shown to be sound and to have a complete type inference algorithm
AbstractFlexibility of programming and efficiency of program execution are two important features of...
In this paper we present a new approach to the semantics of data types, in which the types themselve...
Machiavelli is a polymorphically typed programming language in the spirit of ML, but supports a diff...
We consider the problem of representing heterogeneous collections of objects in a typed polymorphic ...
The purpose of this thesis is to investigate a type system for databases and object-oriented program...
The polymorphic type system of ML can be extended in two ways to make it the appropriate basis of a ...
The polymorphic type system of ML can be extended in two ways that make it appropriate as the basis ...
The polymorphic type system of ML can be extended in two ways that make it appropriate as the basis ...
Central features of object-oriented programming are method inheritance and data abstraction attained...
This paper proposes a framework of denotational semantics of database type systems and constructs a ...
Our objective is to understand the notion of type in programming languages, present a model of typed...
AbstractWe extend type constraints with kind constraints to increase the expressiveness of constrain...
AbstractA number of data models for complex database objects have been proposed. Unfortunately, thes...
There exists an identifiable programming style based on the widespread use of type information handl...
Our objective is to understand the notion of type in programming languages, present a model of typed...
AbstractFlexibility of programming and efficiency of program execution are two important features of...
In this paper we present a new approach to the semantics of data types, in which the types themselve...
Machiavelli is a polymorphically typed programming language in the spirit of ML, but supports a diff...
We consider the problem of representing heterogeneous collections of objects in a typed polymorphic ...
The purpose of this thesis is to investigate a type system for databases and object-oriented program...
The polymorphic type system of ML can be extended in two ways to make it the appropriate basis of a ...
The polymorphic type system of ML can be extended in two ways that make it appropriate as the basis ...
The polymorphic type system of ML can be extended in two ways that make it appropriate as the basis ...
Central features of object-oriented programming are method inheritance and data abstraction attained...
This paper proposes a framework of denotational semantics of database type systems and constructs a ...
Our objective is to understand the notion of type in programming languages, present a model of typed...
AbstractWe extend type constraints with kind constraints to increase the expressiveness of constrain...
AbstractA number of data models for complex database objects have been proposed. Unfortunately, thes...
There exists an identifiable programming style based on the widespread use of type information handl...
Our objective is to understand the notion of type in programming languages, present a model of typed...
AbstractFlexibility of programming and efficiency of program execution are two important features of...
In this paper we present a new approach to the semantics of data types, in which the types themselve...
Machiavelli is a polymorphically typed programming language in the spirit of ML, but supports a diff...