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 …

Type classes were originally developed in Haskell as a disciplined alternative to ad-hoc
polymorphism. Type classes have been shown to provide a type-safe solution to important …

The influential pure embedding methodology of embedding domain-specific languages
(DSLs) as libraries into a general-purpose host language forces the DSL designer to commit …

By 2006, C++ had been in widespread industrial use for 20 years. It contained parts that had
survived unchanged since introduced into C in the early 1970s as well as features that were …

Datatype-generic programming is defining functions that depend on the structure, or"
shape", of datatypes. It has been around for more than 10 years, and a lot of progress has …

Tony Hoare has always been a leader in writing down and proving properties of programs.
To prove properties of programs automatically, the most widely used technology today is the …

We present a set of concepts (requirements on template arguments) for a large subset of the
ISO C++ standard library. The goal of our work is twofold: to identify a minimal and useful set …

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

Implicit programming (IP) mechanisms infer values by type-directed resolution, making
programs more compact and easier to read. Examples of IP mechanisms include Haskell's …

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