An introduction to quantum programming in Quipper
From MaRDI portal
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.
Recommendations
Cited in
(34)- Parallel computational structure of noisy quantum circuits simulation
- Classical control and quantum circuits in enriched category theory
- An automated deductive verification framework for circuit-building quantum programs
- 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
- 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
- Deterministic algorithms for compiling quantum circuits with recurrent patterns
- scientific article; zbMATH DE number 1612487 (Why is no real title available?)
- Ricercar: a language for describing and rewriting reversible circuits with ancillae and its permutation semantics
- An overview of QML with a concrete implementation in Haskell
- Quantum programming with mixed states
- Towards quantum programs verification: from Quipper circuits to QPMC
- PEET: a Matlab tool for estimating physical gate errors in quantum information processing systems
- The category \textsf{TOF}
- \textit{Re}\(\mathcal{Q}\)\textsc{wire}: reasoning about reversible quantum circuits
- On the automation of encoding processes in the quantum IO monad
- Quantum programming made easy
- 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
- Sized Types for Low-Level Quantum Metaprogramming
- FJQuantum. A quantum object oriented language
- Functional and Logic Programming
- Software science view on quantum circuit algorithms
- Classically time-controlled quantum automata
- \(Q|SI\rangle \): a quantum programming environment
- Type-safe quantum programming in Idris
- Semantics for a lambda calculus for string diagrams
- LinguaQuanta: towards a quantum transpiler between OpenQASM and Quipper
- Toward automatic verification of quantum programs
- The quantum monadology
- A biset-enriched categorical model for Proto-Quipper with dynamic lifting
This page was built for publication: An introduction to quantum programming in Quipper
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2868442)
