Silq: A High-level Quantum Programming Language. Bichsel, B., Baader, M., Gehr, T., & Vechev, M. September, 2019. Citation Key Alias: zotero-574
Paper bibtex @misc{bichsel_silq:_2019,
title = {Silq: {A} {High}-level {Quantum} {Programming} {Language}},
url = {http://silq.ethz.ch/},
urldate = {2019-09-22},
author = {Bichsel, Benjamin and Baader, Maximilian and Gehr, Timon and Vechev, Martin},
month = sep,
year = {2019},
note = {Citation Key Alias: zotero-574}
}
Downloads: 0
{"_id":"59eznhrQDdmFvCEbK","bibbaseid":"bichsel-baader-gehr-vechev-silqahighlevelquantumprogramminglanguage-2019","authorIDs":[],"author_short":["Bichsel, B.","Baader, M.","Gehr, T.","Vechev, M."],"bibdata":{"bibtype":"misc","type":"misc","title":"Silq: A High-level Quantum Programming Language","url":"http://silq.ethz.ch/","urldate":"2019-09-22","author":[{"propositions":[],"lastnames":["Bichsel"],"firstnames":["Benjamin"],"suffixes":[]},{"propositions":[],"lastnames":["Baader"],"firstnames":["Maximilian"],"suffixes":[]},{"propositions":[],"lastnames":["Gehr"],"firstnames":["Timon"],"suffixes":[]},{"propositions":[],"lastnames":["Vechev"],"firstnames":["Martin"],"suffixes":[]}],"month":"September","year":"2019","note":"Citation Key Alias: zotero-574","bibtex":"@misc{bichsel_silq:_2019,\n\ttitle = {Silq: {A} {High}-level {Quantum} {Programming} {Language}},\n\turl = {http://silq.ethz.ch/},\n\turldate = {2019-09-22},\n\tauthor = {Bichsel, Benjamin and Baader, Maximilian and Gehr, Timon and Vechev, Martin},\n\tmonth = sep,\n\tyear = {2019},\n\tnote = {Citation Key Alias: zotero-574}\n}\n\n","author_short":["Bichsel, B.","Baader, M.","Gehr, T.","Vechev, M."],"key":"bichsel_silq:_2019","id":"bichsel_silq:_2019","bibbaseid":"bichsel-baader-gehr-vechev-silqahighlevelquantumprogramminglanguage-2019","role":"author","urls":{"Paper":"http://silq.ethz.ch/"},"downloads":0},"bibtype":"misc","biburl":"https://bibbase.org/zotero/k4rtik","creationDate":"2020-05-31T17:07:22.718Z","downloads":0,"keywords":[],"search_terms":["silq","high","level","quantum","programming","language","bichsel","baader","gehr","vechev"],"title":"Silq: A High-level Quantum Programming Language","year":2019,"dataSources":["Z5Dp3qAJiMzxtvKMq"]}