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

Anything in here will be replaced on browsers that support the canvas element

References in zbMATH (referenced in 32 articles )

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

1 2 next

  1. Denisenko, D. V.: Quantum differential and linear cryptanalysis (2021)
  2. Felty, Amy; Olarte, Carlos; Xavier, Bruno: A focused linear logical framework and its application to metatheory of object logics (2021)
  3. de Beaudrap, Niel; Bian, Xiaoning; Wang, Quanlong: Techniques to reduce (\pi/4)-parity-phase circuits, motivated by the ZX calculus (2020)
  4. Fu, Peng; Kishida, Kohei; Ross, Neil J.; Selinger, Peter: A tutorial introduction to quantum circuit programming in dependently typed proto-quipper (2020)
  5. Kissinger, Aleks; van de Wetering, John: PyZX: large scale automated diagrammatic reasoning (2020)
  6. Meyerov, I.; Liniov, A.; Ivanchenko, M.; Denisov, S.: Modeling complex quantum dynamics: evolution of numerical algorithms in the HPC context (2020)
  7. Rennela, Mathys; Staton, Sam: Classical control, quantum circuits and linear logic in enriched category theory (2020)
  8. Abel, Andreas; Allais, Guillaume; Hameer, Aliya; Pientka, Brigitte; Momigliano, Alberto; Schäfer, Steven; Stark, Kathrin: POPLMark reloaded: mechanizing proofs by logical relations (2019)
  9. Amy, Matthew: Sized types for low-level quantum metaprogramming (2019)
  10. Díaz-Caro, Alejandro; Malherbe, Octavio: A concrete categorical semantics of lambda-(\mathcalS) (2019)
  11. Fillion-Gourdeau, F.; Lorin, E.: Simple digital quantum algorithm for symmetric first-order linear hyperbolic systems (2019)
  12. Mahmoud, Mohamed Yousri; Felty, Amy P.: Formalization of metatheory of the Quipper quantum programming language in a linear logic (2019)
  13. Paolini, Luca; Piccolo, Mauro; Zorzi, Margherita: QPCF: higher-order languages and quantum circuits (2019)
  14. Ying, Mingsheng: Toward automatic verification of quantum programs (2019)
  15. Anticoli, Linda; Ghahi, Masoud Gharahi: Modeling tripartite entanglement in quantum protocols using evolving entangled hypergraphs (2018)
  16. Chernyavskiy, A. Yu.; Voevodin, Vad. V.; Voevodin, Vl. V.: Parallel computational structure of noisy quantum circuits simulation (2018)
  17. Mahmoud, Mohamed Yousri; Felty, Amy P.: Formal meta-level analysis framework for quantum programming languages (2018)
  18. Nathan Killoran, Josh Izaac, Nicolás Quesada, Ville Bergholm, Matthew Amy, Christian Weedbrook: Strawberry Fields: A Software Platform for Photonic Quantum Computing (2018) arXiv
  19. Rennela, Mathys; Staton, Sam: Classical control and quantum circuits in enriched category theory (2018)
  20. Ying, Shenggang; Ying, Mingsheng: Reachability analysis of quantum Markov decision processes (2018)

1 2 next