Cover Image

With a Few Square Roots, Quantum Computing is as Easy as Π

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Carette, Jacques, Heunen, Chris, Kaarsgaard, Robin, Sabry, Amr
Format:	Preprint
Published:	2023
Subjects:	Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

The Quantum Effect: A Recipe for QuantumPi
by: Carette, Jacques, et al.
Published: (2023)

Compositional Reversible Computation
by: Carette, Jacques, et al.
Published: (2024)

Free Quantum Computing
by: Carette, Jacques, et al.
Published: (2026)

Hadamard-Pi: Equational Quantum Programming
by: Fang, Wang, et al.
Published: (2025)

Scheme Pearl: Quantum Continuations
by: Choudhury, Vikraman, et al.
Published: (2024)

One rig to control them all
by: Heunen, Chris, et al.
Published: (2025)

Qurts: Automatic Quantum Uncomputation by Affine Types with Lifetime
by: Hirata, Kengo, et al.
Published: (2024)

Quantum Circuits Are Just a Phase
by: Heunen, Chris, et al.
Published: (2025)

A Verified Compiler for Quantum Simulation
by: Li, Liyi, et al.
Published: (2025)

Quantum Simulation Programming via Typing
by: Li, Liyi, et al.
Published: (2025)

Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
by: Carette, TItouan, et al.
Published: (2022)

Universality of a standard two-qubit gate by catalytic embedding
by: Kaarsgaard, Robin
Published: (2025)

It's Not Easy Being Green: On the Energy Efficiency of Programming Languages
by: van Kempen, Nicolas, et al.
Published: (2024)

Owi: Performant Parallel Symbolic Execution Made Easy, an Application to WebAssembly
by: Andrès, Léo, et al.
Published: (2024)

SequenceLayers: Sequence Processing and Streaming Neural Networks Made Easy
by: Skerry-Ryan, RJ, et al.
Published: (2025)

HyGenar: An LLM-Driven Hybrid Genetic Algorithm for Few-Shot Grammar Generation
by: Tang, Weizhi, et al.
Published: (2025)

Qutes: A High-Level Quantum Programming Language for Simplified Quantum Computing
by: Faro, Simone, et al.
Published: (2025)

Concurrent Data Structures Made Easy (Extended Version)
by: Le, Callista, et al.
Published: (2024)

Synthesizing DSLs for Few-Shot Learning
by: Krogmeier, Paul, et al.
Published: (2025)

Actegories, Copowers, and Higher-Order Message Passing Semantics
by: Cockett, Robin, et al.
Published: (2025)

QPanda3: A High-Performance Software-Hardware Collaborative Framework for Large-Scale Quantum-Classical Computing Integration
by: Zou, Tianrui, et al.
Published: (2025)

The T-Complexity Costs of Error Correction for Control Flow in Quantum Computation
by: Yuan, Charles, et al.
Published: (2023)

Cobble: Compiling Block Encodings for Quantum Computational Linear Algebra
by: Yuan, Charles
Published: (2025)

Partial Evaluation, Whole-Program Compilation
by: Fallin, Chris, et al.
Published: (2024)

Budgeted LoRA: Distillation as Structured Compute Allocation for Efficient Inference
by: Sabry, Mohammed, et al.
Published: (2026)

Qrisp: A Framework for Compilable High-Level Programming of Gate-Based Quantum Computers
by: Seidel, Raphael, et al.
Published: (2024)

Incremental Computation: What Is the Essence?
by: Liu, Yanhong A.
Published: (2023)

Refactoring Programs Using Large Language Models with Few-Shot Examples
by: Shirafuji, Atsushi, et al.
Published: (2023)

Induction Signatures Are Not Enough: A Matched-Compute Study of Load-Bearing Structure in In-Context Learning
by: Sabry, Mohammed, et al.
Published: (2025)

Mechanizing Synthetic Tait Computability in Istari
by: Li, Runming, et al.
Published: (2025)

Algebras for Deterministic Computation Are Inherently Incomplete
by: Cate, Balder ten, et al.
Published: (2024)

Towards Computational UIP in Cubical Agda
by: Tan, Yee-Jian, et al.
Published: (2025)

ALFRED: Virtual Memory for Intermittent Computing
by: Maioli, Andrea, et al.
Published: (2021)

Task-Based Tensor Computations on Modern GPUs
by: Yadav, Rohan, et al.
Published: (2025)

Consistent Distributed Reactive Programming with Retroactive Computation
by: Kamina, Tetsuo, et al.
Published: (2025)

Typed compositional quantum computation with lenses
by: Garrigue, Jacques, et al.
Published: (2023)

VERT: Verified Equivalent Rust Transpilation with Large Language Models as Few-Shot Learners
by: Yang, Aidan Z. H., et al.
Published: (2024)

Graph Rewriting Language as a Platform for Quantum Diagrammatic Calculi
by: Tei, Kayo, et al.
Published: (2025)

Laws of Quantum Programming
by: Ying, Mingsheng, et al.
Published: (2024)

The CoCompiler: DSL Lifting via Relational Compilation
by: Spargo, Naomi, et al.
Published: (2025)