A Semantic Definition of Separate Type Checking in C++ with Concepts. Zalewski, M. & Schupp, S. Journal of Object Technology, 8(5):105-132, 2009.
bibtex   
@article{
 title = {A Semantic Definition of Separate Type Checking in C++ with Concepts.},
 type = {article},
 year = {2009},
 pages = {105-132},
 volume = {8},
 id = {67cb8b20-e185-3222-bbcd-92f6f23d07e2},
 created = {2018-01-19T07:02:39.550Z},
 file_attached = {false},
 profile_id = {42d295c0-0737-38d6-8b43-508cab6ea85d},
 last_modified = {2020-05-11T14:43:42.255Z},
 read = {false},
 starred = {false},
 authored = {true},
 confirmed = {true},
 hidden = {false},
 citation_key = {Zalewski2009},
 source_type = {JOUR},
 folder_uuids = {2aba6c14-9027-4f47-8627-0902e1e2342b},
 private_publication = {false},
 bibtype = {article},
 author = {Zalewski, Marcin and Schupp, Sibylle},
 journal = {Journal of Object Technology},
 number = {5}
}

Downloads: 0