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 27 articles )

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

1 2 next

  1. Fu, Peng; Kishida, Kohei; Ross, Neil J.; Selinger, Peter: A tutorial introduction to quantum circuit programming in dependently typed proto-quipper (2020)
  2. Meyerov, I.; Liniov, A.; Ivanchenko, M.; Denisov, S.: Modeling complex quantum dynamics: evolution of numerical algorithms in the HPC context (2020)
  3. Rennela, Mathys; Staton, Sam: Classical control, quantum circuits and linear logic in enriched category theory (2020)
  4. Abel, Andreas; Allais, Guillaume; Hameer, Aliya; Pientka, Brigitte; Momigliano, Alberto; Schäfer, Steven; Stark, Kathrin: POPLMark reloaded: mechanizing proofs by logical relations (2019)
  5. Amy, Matthew: Sized types for low-level quantum metaprogramming (2019)
  6. Díaz-Caro, Alejandro; Malherbe, Octavio: A concrete categorical semantics of lambda-(\mathcalS) (2019)
  7. Fillion-Gourdeau, F.; Lorin, E.: Simple digital quantum algorithm for symmetric first-order linear hyperbolic systems (2019)
  8. Mahmoud, Mohamed Yousri; Felty, Amy P.: Formalization of metatheory of the Quipper quantum programming language in a linear logic (2019)
  9. Paolini, Luca; Piccolo, Mauro; Zorzi, Margherita: QPCF: higher-order languages and quantum circuits (2019)
  10. Ying, Mingsheng: Toward automatic verification of quantum programs (2019)
  11. Anticoli, Linda; Ghahi, Masoud Gharahi: Modeling tripartite entanglement in quantum protocols using evolving entangled hypergraphs (2018)
  12. Chernyavskiy, A. Yu.; Voevodin, Vad. V.; Voevodin, Vl. V.: Parallel computational structure of noisy quantum circuits simulation (2018)
  13. Mahmoud, Mohamed Yousri; Felty, Amy P.: Formal meta-level analysis framework for quantum programming languages (2018)
  14. Nathan Killoran, Josh Izaac, Nicolás Quesada, Ville Bergholm, Matthew Amy, Christian Weedbrook: Strawberry Fields: A Software Platform for Photonic Quantum Computing (2018) arXiv
  15. Ying, Shenggang; Ying, Mingsheng: Reachability analysis of quantum Markov decision processes (2018)
  16. Cho, Kenta; Jacobs, Bart: The EfProb library for probabilistic calculations (2017)
  17. Hasuo, Ichiro; Hoshino, Naohiko: Semantics of higher-order quantum computation via geometry of interaction (2017)
  18. Parent, Alex; Roetteler, Martin; Svore, Krysta M.: REVS: a tool for space-optimized reversible circuit synthesis (2017)
  19. 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)
  20. 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)

1 2 next