Multi-core chips from Intel and AMD offer a dramatic boost in speed and responsiveness,
and plenty of opportunities for multiprocessing on ordinary desktop computers. But they also …

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 …

C++ templates are key to the design of current successful mainstream libraries and systems.
They are the basis of programming techniques in diverse areas ranging from conventional …

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

In creating complex real-time shaders, programmers should be able to decompose code into
independent, localized modules of their choosing. Current real-time shading languages …

Templates are a powerful but poorly understood feature of the C++ language. Their syntax
resembles the parameterized classes of other languages (eg, of Java). But because C++ …

This paper presents the rationale for a novel approach to providing expressive, teachable,
maintainable, and cost-effective specialpurpose languages: A Semantically Enhanced …

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 …

Haskell provides type-class-bounded and parametric polymorphism as opposed to subtype
polymorphism of object-oriented languages such as Java and OCaml. It is a contentious …

Since the standard template library (STL), generic libraries in C++ rely on concepts to
precisely specify the requirements of generic algorithms (function templates) on their …