Qunity: A Unified Language for Quantum and Classical Computing

We introduce Qunity, a new quantum programming language designed to treat quantum computing as a natural generalization of classical computing. Qunity presents a unified syntax where familiar programming constructs can have both quantum and classical effects. For example, one can use sum types to im...

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	Proceedings of ACM on programming languages Ročník 7; číslo POPL; s. 921 - 951
Hlavní autori:	Voichick, Finn, Li, Liyi, Rand, Robert, Hicks, Michael
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	New York, NY, USA ACM 09.01.2023
Predmet:	Assertions Categorical semantics Compilers Control primitives Control structures Data types and structures Denotational semantics Functional languages Multiparadigm languages Patterns Quantum information theory Quantum query complexity Semantics Software and its engineering Syntax Theory of computation Kraus operators algebraic data types reversible computing quantum subroutines
ISSN:	2475-1421, 2475-1421
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!