Silq
From EverybodyWiki Bios & Wiki
 The Silq Logo | |
| Paradigm | Imperative, Functional, Circuit design language |
|---|---|
| Designed by | Benjamin Bichsel, Maximilian Baader, Timon Gehr, Martin Vechev[1] |
| Developer | SRI-ETH Zurich |
| First appeared | 2020 |
| Typing discipline | Strong Static Type System |
| Implementation language | D (programming language) |
| OS | macOS, Linux, Microsoft Windows, FreeBSD[2] |
| License | BSL 1.0[3] |
| Website | silq |
Search Silq on Amazon.
Silq[1][4] is a new high-level programming language for quantum computing with a strong static type system and support for safe uncomputation, developed at ETH Zürich.[5][6]
See also
References
- ↑ 1.0 1.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. pp. 286–300. doi:10.1145/3385412.3386007. ISBN 9781450376136. Unknown parameter
|s2cid=ignored (help) Search this book on
- ↑ "Silq". GitHub.
- ↑ "BSL 1.0 Licensed".
- ↑ "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".
External Links
https://github.com/eth-sri/silq
This article "Silq" is from Wikipedia. The list of its authors can be seen in its historical and/or the page Edithistory:Silq. Articles copied from Draft Namespace on Wikipedia could be seen on the Draft Namespace of Wikipedia and not main one.
