Silq: A High-level Quantum Programming Language. Bichsel, B., Baader, M., Gehr, T., & Vechev, M. September, 2019. Citation Key Alias: zotero-574
Silq: A High-level Quantum Programming Language [link]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