>>321
禿自身がD&Eに相当するような論文を書いてるよね。C++0xについては。
規格が決まる前に書いているのが違う点だけど。

Concept checking - A mor complement to type checking
http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2003/n1510.pdf
Simplifying the use of concepts
http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2009/n2906.pdf