An Introduction to Quantum Programming in Quipper. Green, A. S., Lumsdaine, P. L., Ross, N. J., Selinger, P., & Valiron, B. In Dueck, G. W. & Miller, D. M., editors, Reversible Computation (RC '13), volume 7948, of Lecture Notes in Computer Science, pages 110–124, Berlin, Heidelberg, July, 2013. Springer.
doi  abstract   bibtex   
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.
@inproceedings{Green2013a,
  title         = {An {{Introduction}} to {{Quantum Programming}} in {{Quipper}}},
  author        = {Green, Alexander S. and Lumsdaine, Peter LeFanu and Ross, Neil J. and Selinger, Peter and Valiron, Beno{\^i}t},
  year          = {2013},
  month         = jul,
  booktitle     = {Reversible Computation (RC '13)},
  editor        = {Dueck, Gerhard W. and Miller, D. Michael},
  publisher     = {Springer},
  address       = {Berlin, Heidelberg},
  series        = {Lecture Notes in Computer Science},
  volume        = {7948},
  pages         = {110--124},
  doi           = {10.1007/978-3-642-38986-3_10},
  archiveprefix = {arXiv},
  eprint        = {1304.5485},
  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.},
  keywords      = {quantum computation, programming languages, quipper},
  bibsource     = qplbib
}

Downloads: 0