An Introduction to Quantum Programming in Quipper
From MaRDI portal
Publication:2868442
DOI10.1007/978-3-642-38986-3_10zbMath1406.68013arXiv1304.5485OpenAlexW1533211775WikidataQ56700682 ScholiaQ56700682MaRDI QIDQ2868442
Peter LeFanu Lumsdaine, Peter Selinger, Benoît Valiron, Alexander S. Green, Neil J. Ross
Publication date: 17 December 2013
Published in: Reversible Computation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1304.5485
Quantum computation (81P68) Theory of programming languages (68N15) Quantum algorithms and complexity in the theory of computing (68Q12)
Related Items (23)
Classical control and quantum circuits in enriched category theory ⋮ Linear Dependent Type Theory for Quantum Programming Languages ⋮ Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model ⋮ Typing Quantum Superpositions and Measurement ⋮ A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls ⋮ Towards Quantum Programs Verification: From Quipper Circuits to QPMC ⋮ PEET: a Matlab tool for estimating physical gate errors in quantum information processing systems ⋮ Parallel computational structure of noisy quantum circuits simulation ⋮ Automating quantum experiment control. From circuit compilation to ion routing ⋮ Concrete resource analysis of the quantum linear-system algorithm used to compute the electromagnetic scattering cross section of a 2D target ⋮ Software science view on quantum circuit algorithms ⋮ Classically time-controlled quantum automata ⋮ The Category TOF ⋮ Deterministic algorithms for compiling quantum circuits with recurrent patterns ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Toward automatic verification of quantum programs ⋮ An automated deductive verification framework for circuit-building quantum programs ⋮ Ricercar: A Language for Describing and Rewriting Reversible Circuits with Ancillae and Its Permutation Semantics ⋮ Sized Types for Low-Level Quantum Metaprogramming ⋮ QPCF: higher-order languages and quantum circuits ⋮ Formalization of metatheory of the Quipper quantum programming language in a linear logic ⋮ Simple digital quantum algorithm for symmetric first-order linear hyperbolic systems
Uses Software
This page was built for publication: An Introduction to Quantum Programming in Quipper
