An Introduction to Quantum Programming in Quipper

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

{"_id":"sBcACZoXHn4ztpfvG","bibbaseid":"green-lumsdaine-ross-selinger-valiron-anintroductiontoquantumprogramminginquipper-2013","authorIDs":[],"author_short":["Green, A. S.","Lumsdaine, P. L.","Ross, N. J.","Selinger, P.","Valiron, B."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"An Introduction to Quantum Programming in Quipper","author":[{"propositions":[],"lastnames":["Green"],"firstnames":["Alexander","S."],"suffixes":[]},{"propositions":[],"lastnames":["Lumsdaine"],"firstnames":["Peter","LeFanu"],"suffixes":[]},{"propositions":[],"lastnames":["Ross"],"firstnames":["Neil","J."],"suffixes":[]},{"propositions":[],"lastnames":["Selinger"],"firstnames":["Peter"],"suffixes":[]},{"propositions":[],"lastnames":["Valiron"],"firstnames":["Benoît"],"suffixes":[]}],"year":"2013","month":"July","booktitle":"Reversible Computation (RC '13)","editor":[{"propositions":[],"lastnames":["Dueck"],"firstnames":["Gerhard","W."],"suffixes":[]},{"propositions":[],"lastnames":["Miller"],"firstnames":["D.","Michael"],"suffixes":[]}],"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":"Quantum Programming Languages & Verification Bibliography, https://git.io/qpl-bib","bibtex":"@inproceedings{Green2013a,\n title = {An {{Introduction}} to {{Quantum Programming}} in {{Quipper}}},\n author = {Green, Alexander S. and Lumsdaine, Peter LeFanu and Ross, Neil J. and Selinger, Peter and Valiron, Beno{\\^i}t},\n year = {2013},\n month = jul,\n booktitle = {Reversible Computation (RC '13)},\n editor = {Dueck, Gerhard W. and Miller, D. Michael},\n publisher = {Springer},\n address = {Berlin, Heidelberg},\n series = {Lecture Notes in Computer Science},\n volume = {7948},\n pages = {110--124},\n doi = {10.1007/978-3-642-38986-3_10},\n archiveprefix = {arXiv},\n eprint = {1304.5485},\n 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.},\n keywords = {quantum computation, programming languages, quipper},\n bibsource = qplbib\n}\n\n","author_short":["Green, A. S.","Lumsdaine, P. L.","Ross, N. J.","Selinger, P.","Valiron, B."],"editor_short":["Dueck, G. W.","Miller, D. M."],"key":"Green2013a","id":"Green2013a","bibbaseid":"green-lumsdaine-ross-selinger-valiron-anintroductiontoquantumprogramminginquipper-2013","role":"author","urls":{},"keyword":["quantum computation","programming languages","quipper"],"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/QuantumPL/bib/main/bbt.bib","creationDate":"2020-05-31T17:07:22.720Z","downloads":0,"keywords":["quantum computation","programming languages","quipper"],"search_terms":["introduction","quantum","programming","quipper","green","lumsdaine","ross","selinger","valiron"],"title":"An Introduction to Quantum Programming in Quipper","year":2013,"dataSources":["Z5Dp3qAJiMzxtvKMq","JG9W34HAXfSxsC6ML"]}