Concept Checking : Binding Parametric Polymorphism in C + +

  title={Concept Checking : Binding Parametric Polymorphism in C + +},
  author={Jeremy G. Siek and Andrew Lumsdaine},
Generic programming in C++ is characterized by the use of template parameters to represent abstract data types (or “concepts”). However, the C++ language itself does not provide a mechanism for explicitly handling concepts. As a result, it can be difficult to insure that a concrete type meets the requirements of the concept it is supposed to represent. Error messages resulting from incorrect use of a concrete type can be particularly difficult to decipher. In this paper we present techniques to… CONTINUE READING
Highly Influential
This paper has highly influenced 10 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 132 citations. REVIEW CITATIONS
87 Citations
7 References
Similar Papers


Publications citing this paper.

132 Citations

Citations per Year
Semantic Scholar estimates that this publication has 132 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-7 of 7 references

Austern.Generic Programming and the STL

  • M H.
  • Professional computing series. Addison-Wesley,
  • 1999

the Hopkins Objects Group , G . T . Leavens , and B . Pierce . On binary methods

  • L. Cardelli, G. Castagna
  • 1998

The Standard Template Library. Technical Report X3J16/94-0095, WG21/N0482, ISO Programming Language C++

  • A. A. Stepanov, M. Lee
  • 1994

Similar Papers

Loading similar papers…