Green，Alexander S。;彼得·勒法努·卢姆斯代恩;Neil J.罗斯。;彼得·塞林格;贝诺缬氨酸 奎珀量子编程简介。 （英语） Zbl 1406.68013号 Dueck，Gerhard W.（编辑）等人，《可逆计算》。2013年7月4日至5日，加拿大不列颠哥伦比亚省维多利亚市，第五届国际会议，RC 2013。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-38985-6/pbk）。计算机科学课堂讲稿7948110-124（2013）。 摘要：Quipper是一种最近开发的用于表示量子计算的编程语言。本文通过演示如何使用该语言的一些关键功能，简要介绍了该语言的教程。我们通过开发几个著名的量子计算示例来说明Quipper的许多语言特性，包括量子隐形传态、量子傅里叶变换和用于加法的量子电路。关于整个系列，请参见[Zbl 1277.68008号]. 引用于23文件 MSC公司： 68甲15 编程语言理论 2012年第68季度 计算理论中的量子算法和复杂性 81页68 量子计算 关键词：量子计算;程序设计语言;镊子 软件：镊子 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Green}等人，Lect。注释计算。科学。7948、110-124（2013；Zbl 1406.68013） 全文： 内政部 arXiv公司