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
{"_id":"XKumpYnHJpgEjsefT","bibbaseid":"zalewski-schupp-asemanticdefinitionofseparatetypecheckingincwithconcepts-2009","downloads":0,"creationDate":"2018-03-12T19:10:28.349Z","title":"A Semantic Definition of Separate Type Checking in C++ with Concepts.","author_short":["Zalewski,  M.","Schupp,  S."],"year":2009,"bibtype":"article","biburl":"https://bibbase.org/service/mendeley/42d295c0-0737-38d6-8b43-508cab6ea85d","bibdata":{"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","bibtex":"@article{\n title = {A Semantic Definition of Separate Type Checking in C++ with Concepts.},\n type = {article},\n year = {2009},\n pages = {105-132},\n volume = {8},\n id = {67cb8b20-e185-3222-bbcd-92f6f23d07e2},\n created = {2018-01-19T07:02:39.550Z},\n file_attached = {false},\n profile_id = {42d295c0-0737-38d6-8b43-508cab6ea85d},\n last_modified = {2020-05-11T14:43:42.255Z},\n read = {false},\n starred = {false},\n authored = {true},\n confirmed = {true},\n hidden = {false},\n citation_key = {Zalewski2009},\n source_type = {JOUR},\n folder_uuids = {2aba6c14-9027-4f47-8627-0902e1e2342b},\n private_publication = {false},\n bibtype = {article},\n author = {Zalewski, Marcin and Schupp, Sibylle},\n journal = {Journal of Object Technology},\n number = {5}\n}","author_short":["Zalewski,  M.","Schupp,  S."],"biburl":"https://bibbase.org/service/mendeley/42d295c0-0737-38d6-8b43-508cab6ea85d","bibbaseid":"zalewski-schupp-asemanticdefinitionofseparatetypecheckingincwithconcepts-2009","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0},"search_terms":["semantic","definition","separate","type","checking","concepts","zalewski","schupp"],"keywords":[],"authorIDs":[],"dataSources":["zgahneP4uAjKbudrQ","ya2CyA73rpZseyrZ8","2252seNhipfTmjEBQ"]}