Marcin Zalewski, Sibylle Schupp. A Semantic Definition of Separate Type Checking in C++ with Concepts. Journal of Object Technology, 8(5):105-132, 2009. [doi]
@article{ZalewskiS09,
title = {A Semantic Definition of Separate Type Checking in C++ with Concepts},
author = {Marcin Zalewski and Sibylle Schupp},
year = {2009},
url = {http://www.jot.fm/issues/issue_2009_07/article2.pdf},
tags = {C++, type checking},
researchr = {https://researchr.org/publication/ZalewskiS09},
cites = {0},
citedby = {0},
journal = {Journal of Object Technology},
volume = {8},
number = {5},
pages = {105-132},
}