Specifying C++ concepts.

Gabriel Dos Reis, Bjarne Stroustrup

Browse the full POPL paper archive.