Qunity: A Unified Language for Quantum and Classical Computing (Extended Version)

2022/04/26 by Finn Voichick, Voichick, Finn, Liyi Li +5 · 10 citations
Computer Science · #Computability, Logic, AI Algorithms #FOS: Computer and information sciences #FOS: Physical sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL) #Quantum Computing Algorithms and Architecture #Quantum Information and Cryptography #Quantum Physics (quant-ph)

paper · pdf · doi:10.48550/arxiv.2204.12384

openalex publication_date 2022/04/26 · openalex created_date 2022/07/22 · openalex updated_date 2026/07/28

Abstract

This code repository is designed to accompany the paper "Qunity: A Unified Language for Quantum and Classical Computing." You can run the "make" command to compile our proofs. See the README.md file for more details.

Cited by

• Cobble: Compiling Block Encodings for Quantum Computational Linear Algebra
• Resource-Aware Hybrid Quantum Programming with General Recursion and Quantum Control
• Basis-Sensitive Quantum Typing via Realisability
• A Verified Compiler for Quantum Simulation
• Quantum Simulation Programming via Typing
• Borrowing Dirty Qubits in Quantum Programs
• Traq: Estimating the Quantum Cost of Classical Programs
• Compositional Quantum Control Flow with Efficient Compilation in Qunity
• Quantum Circuits Are Just a Phase
• A Quantum Programming Language for Coherent Control

Related

• Qutes: A High-Level Quantum Programming Language for Simplified Quantum Computing
• Qwerty: A Basis-Oriented Quantum Programming Language
• Qumin, a minimalist quantum programming language
• Compositional Quantum Control Flow with Efficient Compilation in Qunity
• QCOR: A Language Extension Specification for the Heterogeneous Quantum-Classical Model of Computation