Quipper
An introduction to quantum programming in quipper. 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.
Keywords for this software
References in zbMATH (referenced in 10 articles )
Showing results 1 to 10 of 10.
Sorted by year (- Hasuo, Ichiro; Hoshino, Naohiko: Semantics of higher-order quantum computation via geometry of interaction (2017)
- Parent, Alex; Roetteler, Martin; Svore, Krysta M.: REVS: a tool for space-optimized reversible circuit synthesis (2017)
- Scherer, Artur; Valiron, Beno^ıt; Mau, Siun-Chuon; Alexander, Scott; van den Berg, Eric; Chapuran, Thomas E.: Concrete resource analysis of the quantum linear-system algorithm used to compute the electromagnetic scattering cross section of a 2D target (2017)
- Stevens, Kelly E.; Amini, Jason M.; Doret, S.Charles; Mohler, Greg; Volin, Curtis; Harter, Alexa W.: Automating quantum experiment control. From circuit compilation to ion routing (2017)
- Anticoli, Linda; Piazza, Carla; Taglialegne, Leonardo; Zuliani, Paolo: Towards quantum programs verification: from Quipper circuits to QPMC (2016)
- Damian S. Steiger, Thomas Haner, Matthias Troyer: ProjectQ: An Open Source Software Framework for Quantum Computing (2016) arXiv
- Hocker, David; Kosut, Robert; Rabitz, Herschel: PEET: a Matlab tool for estimating physical gate errors in quantum information processing systems (2016)
- Valiron, Beno^ıt: Generating reversible circuits from higher-order functional programs (2016)
- Kirkedal Thomsen, Michael; Kaarsgaard, Robin; Soeken, Mathias: Ricercar: a language for describing and rewriting reversible circuits with ancillae and its permutation semantics (2015)
- Green, Alexander S.; Lumsdaine, Peter LeFanu; Ross, Neil J.; Selinger, Peter; Valiron, Beno{^i}t: An introduction to quantum programming in quipper (2013)