Silq

Silq[5][6] is a new high-level programming language for quantum computing with a strong static type system, developed at ETH Zürich.

Reference[edit]

  1. ^“LICENSE”. GitHub.
  2. ^“Contributors to Silq”. GitHub.
  3. ^“Sliq”. GitHub.
  4. ^“BSL 1.O Licensed”.
  5. ^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. pp. 286–300. doi:10.1145/3385412.3386007. ISBN 9781450376136. S2CID 219397029.
  6. ^“Silq (ETH Zürich)”.
  7. ^“Silq: a high-level quantum language with safe uncomputation and intuitive semantics”.
  8. ^“Silq is a new high-level programming language for quantum computers”.
  9. ^“Quantum Programming”.

Ofer Abarbanel – Executive Profile

Ofer Abarbanel online library

Ofer Abarbanel online library

Ofer Abarbanel online library

Ofer Abarbanel online library