Generic programming has emerged as an important technique for the development of highly
reusable and efficient software libraries. In C++, generic programming is enabled by the …

Many modern programming languages support basic generics, sufficient to implement type-
safe polymorphic containers. Some languages have moved beyond this basic support, and …

We present an overview of JTL (the Java Tools Language, pronounced" Gee-tel"), a novel
language for querying JAVA [8] programs. JTL was designed to serve the development of …

Generic programming has recently emerged as a paradigm for developing highly reusable
software libraries, most notably in C++. We have designed and implemented a constrained …

JavaGI is an experimental language that extends Java 1.5 by generalizing the interface
concept to incorporate the essential features of Haskell's type classes. In particular …

cJ is an extension of Java that allows supertypes, fields, and methods of a class or interface
to be provided only under some static subtyping condition. For instance, a cJ generic class …

Generic programming is an effective methodology for developing reusable software
libraries. Many programming languages provide generics and have features for describing …

Parametric polymorphism and inheritance are both important, extensively explored
language mechanisms for providing code reuse and extensibility. But harmoniously …

The language JavaGI extends Java 1.5 conservatively by a generalized interface
mechanism. The generalization subsumes retroactive and type-conditional interface …

The past decade of software library construction has demonstrated that the discipline of
generic programming is an effective approach to the design and implementation of large …