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"]}