Silq

Silq^[1]^[2] minangka basa pamrograman tingkat dhuwur anyar kanggo komputasi kuantum kanthi sistem tipe statis sing kuwat, dikembangake ing ETH Zürich^[3]^[4]^[5].

Rujukan

↑ Bichsel, Benjamin; Baader, Maximilian; Gehr, Timon; Vechev, Martin (2020). "Silq: a high-level quantum language with safe uncomputation and intuitive semantics". Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. kc. 286–300. doi:10.1145/3385412.3386007. ISBN 9781450376136. S2CID 219397029.
↑ "Silq (ETH Zürich)".
↑ "Silq: a high-level quantum language with safe uncomputation and intuitive semantics".
↑ "Silq is a new high-level programming language for quantum computers".
↑ "Quantum Programming".

Artikel iki minangka artikel rintisan. Kowé bisa ngéwangi Wikipédia ngembangaké.

[1] Bichsel, Benjamin; Baader, Maximilian; Gehr, Timon; Vechev, Martin (2020). "Silq: a high-level quantum language with safe uncomputation and intuitive semantics". Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. kc. 286–300. doi:10.1145/3385412.3386007. ISBN 9781450376136. S2CID 219397029.

[2] "Silq (ETH Zürich)".

[3] "Silq: a high-level quantum language with safe uncomputation and intuitive semantics".

[4] "Silq is a new high-level programming language for quantum computers".

[5] "Quantum Programming".

[1]

[2]

[3]

[4]

[5]