A Semantic Definition of Separate Type Checking in C++ with Concepts
By: Marcin Zalewski, Sibylle Schupp
The premise of separate type checking with concepts is that once constrained templates are checked against their requirements and concept maps are well-formed, templates can be safely instantiated without any additional type checking, provided that all necessary concept maps have been defined.
Marcin Zalewski, Sibylle Schupp, “A Semantic Definition of Separate Type Checking in C++ with Concepts”, Journal of Object Technology, Volume 8, no. 5 (July 2009), pp. 105-132, doi:10.5381/jot.2009.8.5.a2.