The object-oriented type theory for non-specialists is discussed. It is shown that how parametric polymorphism, known as templates in C++ and genericity in Ada and Eiffel, can be added to the Theory of Classification. The generic types could be created by abstracting over parts of simple types. A generic type is modeled as a type function expecting an actual type argument
Generic programming consists of increasing the expressiveness of programs by allowing a wider variet...
Our objective is to understand the notion of type in programming languages, present a model of typed...
With Java 5 and C-# 2.0, first-order parametric polymorphism was introduced in mainstream object-ori...
The object-oriented type theory for non-specialists is discussed. It is shown that how parametric po...
Jyväskylä: University of Jyväskylä, 2005. 28 p. Bachelorʹs Thesis Generic programming is a widely...
Generic (polymorphic) type-safe containers are the primary motivation for generics (in Ada, Eiffel, ...
We consider in more detail the kinds of manipulations performed upon polymorphic class-types. These ...
In generic programming, software components are parameterized on types. When available, a static spe...
The behavior of languages such as C++, Java, Smalltalk and Eiffel and the modeling features such cla...
The theory of classification in object oriented languages are discussed. The differences between cla...
ABSTRACT This paper is about Generic Programming in Java and C++. One of the main motivations for in...
Kind-C++ has been a on-going project since Fall, 1992. In the project, we introduce a new level of e...
Abstract. Generic types in programming languages are most often supported with various forms of para...
Generic programming aims to increase the flexibility of programming languages, by expanding the poss...
We present type substitution as a new genericity mechanism for object-oriented languages. It is a s...
Generic programming consists of increasing the expressiveness of programs by allowing a wider variet...
Our objective is to understand the notion of type in programming languages, present a model of typed...
With Java 5 and C-# 2.0, first-order parametric polymorphism was introduced in mainstream object-ori...
The object-oriented type theory for non-specialists is discussed. It is shown that how parametric po...
Jyväskylä: University of Jyväskylä, 2005. 28 p. Bachelorʹs Thesis Generic programming is a widely...
Generic (polymorphic) type-safe containers are the primary motivation for generics (in Ada, Eiffel, ...
We consider in more detail the kinds of manipulations performed upon polymorphic class-types. These ...
In generic programming, software components are parameterized on types. When available, a static spe...
The behavior of languages such as C++, Java, Smalltalk and Eiffel and the modeling features such cla...
The theory of classification in object oriented languages are discussed. The differences between cla...
ABSTRACT This paper is about Generic Programming in Java and C++. One of the main motivations for in...
Kind-C++ has been a on-going project since Fall, 1992. In the project, we introduce a new level of e...
Abstract. Generic types in programming languages are most often supported with various forms of para...
Generic programming aims to increase the flexibility of programming languages, by expanding the poss...
We present type substitution as a new genericity mechanism for object-oriented languages. It is a s...
Generic programming consists of increasing the expressiveness of programs by allowing a wider variet...
Our objective is to understand the notion of type in programming languages, present a model of typed...
With Java 5 and C-# 2.0, first-order parametric polymorphism was introduced in mainstream object-ori...
DOI
Add to ORKG