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.

References in zbMATH (referenced in 10 articles )

Showing results 1 to 10 of 10.
Sorted by year (citations)

  1. Hasuo, Ichiro; Hoshino, Naohiko: Semantics of higher-order quantum computation via geometry of interaction (2017)
  2. Parent, Alex; Roetteler, Martin; Svore, Krysta M.: REVS: a tool for space-optimized reversible circuit synthesis (2017)
  3. 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)
  4. 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)
  5. Anticoli, Linda; Piazza, Carla; Taglialegne, Leonardo; Zuliani, Paolo: Towards quantum programs verification: from Quipper circuits to QPMC (2016)
  6. Damian S. Steiger, Thomas Haner, Matthias Troyer: ProjectQ: An Open Source Software Framework for Quantum Computing (2016) arXiv
  7. Hocker, David; Kosut, Robert; Rabitz, Herschel: PEET: a Matlab tool for estimating physical gate errors in quantum information processing systems (2016)
  8. Valiron, Beno^ıt: Generating reversible circuits from higher-order functional programs (2016)
  9. Kirkedal Thomsen, Michael; Kaarsgaard, Robin; Soeken, Mathias: Ricercar: a language for describing and rewriting reversible circuits with ancillae and its permutation semantics (2015)
  10. Green, Alexander S.; Lumsdaine, Peter LeFanu; Ross, Neil J.; Selinger, Peter; Valiron, Beno{^i}t: An introduction to quantum programming in quipper (2013)