Cover Image

Scheme Pearl: Quantum Continuations

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Choudhury, Vikraman, Agapiev, Borislav, Sabry, Amr
Format:	Preprint
Published:	2024
Subjects:	Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Towards Quantum Multiparty Session Types
by: Lanese, Ivan, et al.
Published: (2024)

With a Few Square Roots, Quantum Computing is as Easy as Π
by: Carette, Jacques, et al.
Published: (2023)

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

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)

Grokking the Sequent Calculus (Functional Pearl)
by: Binder, David, et al.
Published: (2024)

Invertible Syntax without the Tuples (Functional Pearl)
by: Boespflug, Mathieu, et al.
Published: (2025)

Pearl: Automatic Code Optimization Using Deep Reinforcement Learning
by: Lamouri, Djamel Rassem, et al.
Published: (2025)

Bottom-up computation using trees of sublists (Functional Pearl)
by: Mu, Shin-Cheng
Published: (2023)

Beyond SICP -- Design and Implementation of a Notional Machine for Scheme
by: Abad, Kyriel, et al.
Published: (2024)

An Asynchronous Scheme for Rollback Recovery in Message-Passing Concurrent Programming Languages
by: Vidal, Germán
Published: (2023)

The Continuous Tensor Abstraction: Where Indices are Real
by: Won, Jaeyeon, et al.
Published: (2024)

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

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

Suspension Analysis and Selective Continuation-Passing Style for Universal Probabilistic Programming Languages
by: Lundén, Daniel, et al.
Published: (2023)

A Denotational Semantics for Quantum Loops
by: Assolini, Nicola, et al.
Published: (2025)

OpenAPI Specification Extended Security Scheme: A method to reduce the prevalence of Broken Object Level Authorization
by: Haddad, Rami, et al.
Published: (2022)

Hybrid Path-Sums for Hybrid Quantum Programs
by: Chareton, Christophe, et al.
Published: (2026)

Automated Expected Cost Analysis for Quantum Programs
by: Moser, Georg, et al.
Published: (2026)

Symmetries in Sorting
by: Choudhury, Vikraman, et al.
Published: (2025)

Symmetries in Sorting
by: Choudhury, Vikraman, et al.
Published: (2025)

Dataflow-Based Optimization for Quantum Intermediate Representation Programs
by: Luo, Junjie, et al.
Published: (2024)

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

Quantum Programming Without the Quantum Physics
by: Inoue, Jun
Published: (2024)

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

The Quantum Abstract Machine
by: Li, Liyi, et al.
Published: (2024)

QCoder Benchmark: Bridging Language Generation and Quantum Hardware through Simulator-Based Feedback
by: Mikuriya, Taku, et al.
Published: (2025)

Qudit Quantum Programming with Projective Cliffords
by: Paykin, Jennifer, et al.
Published: (2024)

Optimizing Quantum Circuits, Fast and Slow
by: Xu, Amanda, et al.
Published: (2024)

Expressing and Analyzing Quantum Algorithms with Qualtran
by: Harrigan, Matthew P., et al.
Published: (2024)

Analyzing Decoders for Quantum Error Correction
by: Molavi, Abtin, et al.
Published: (2026)

Reversible Lifetime Semantics for Quantum Programs
by: Faro, Simone, et al.
Published: (2026)

Borrowing Dirty Qubits in Quantum Programs
by: Su, Bonan, et al.
Published: (2025)

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

Qafny: A Quantum-Program Verifier
by: Li, Liyi, et al.
Published: (2022)

On Repairing Quantum Programs Using ChatGPT
by: Guo, Xiaoyu, et al.
Published: (2024)

HUGR: A Quantum-Classical Intermediate Representation
by: Koch, Mark, et al.
Published: (2025)

Local Optimization of Quantum Circuits (Extended Version)
by: Arora, Jatin, et al.
Published: (2025)

Symbolic Execution for Quantum Error Correction Programs
by: Fang, Wang, et al.
Published: (2023)

Scalable Memory Recycling for Large Quantum Programs
by: Reichental, Israel, et al.
Published: (2025)