An Introduction to Quantum Programming in Quipper

Abstract

Quipper is a recently developed programming language for expressing quantum computations. This paper gives a brief tutorial introduction to the language, through a demonstration of how to make use of some of its key features. We illustrate many of Quipper's language features by developing a few well known examples of Quantum computation, including quantum teleportation, the quantum Fourier transform, and a quantum circuit for addition.

15 pages, RC2013

References in corpus (3)

• Quantum algorithm for solving linear systems of equations
• Exponential algorithmic speedup by quantum walk
• Quantum Algorithms for the Triangle Problem

Cited by in corpus (29)

• Quantum Risk Analysis
• Open source software in quantum computing
• Overview and Comparison of Gate Level Quantum Software Platforms
• Quantum Software Engineering: Landscapes and Horizons
• Fault-Tolerant High Level Quantum Circuits: Form, Compilation and Description
• An Experimental Microarchitecture for a Superconducting Quantum Processor
• Concrete resource analysis of the quantum linear system algorithm used to compute the electromagnetic scattering cross section of a 2D target
• Verified compilation of space-efficient reversible circuits
• Quantum Computer Architecture: Towards Full-Stack Quantum Accelerators
• ReQWIRE: Reasoning about Reversible Quantum Circuits
• Reversible circuit compilation with space constraints
• Quantum Undergraduate Education and Scientific Training
• A tutorial introduction to quantum circuit programming in dependently typed Proto-Quipper
• Linear Dependent Type Theory for Quantum Programming Languages
• QCOR: A Language Extension Specification for the Heterogeneous Quantum-Classical Model of Computation
• Quipper: Concrete Resource Estimation in Quantum Algorithms
• Formal Methods for Quantum Programs: A Survey
• The Category TOF
• Quantum Accelerator Stack: A Research Roadmap
• Sized Types for low-level Quantum Metaprogramming
• Simple digital quantum algorithm for symmetric first order linear hyperbolic systems
• A (Basis for a) Philosophy of a Theory of Fuzzy Computation
• A Biset-Enriched Categorical Model for Proto-Quipper with Dynamic Lifting
• The Quantum Monadology
• Proto-Quipper with Reversing and Control
• Quantum Markov Chain Semantics for Quip-E Programs
• Posner computing: a quantum neural network model
• On Abstract Machine Semantics for Proto-Quipper-M
• Exploring the Impact of Affine Loop Transformations in Qubit Allocation