Specifying C++ concepts (2006)

by G Dos Reis, B Stroustrup
Venue:In Proceedings of the 33rd Annual ACM SIGPLAN–SIGACT Symposium on Principles of Programming Languages (POPL) January 11–13, 2006