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 besut

  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".