A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit <a rel="external noopener" href="https://www.mscs.dal.ca/~selinger/papers/qpl-2up.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
Towards a quantum programming language
<span title="">2004</span>
<i title="Cambridge University Press (CUP)">
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/jdpukxfslnfmradqb65llq43na" style="color: black;">Mathematical Structures in Computer Science</a>
</i>
Preserved Fulltext
We propose the design of a programming language for quantum computing. Traditionally, quantum algorithms are frequently expressed at the hardware level, for instance in terms of the quantum circuit model or quantum Turing machines. These approaches do not encourage structured programming or abstractions such as data types. In this paper, we describe the syntax and semantics of a simple quantum programming language with high-level features such as loops, recursive procedures, and structured data
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1017/s0960129504004256">doi:10.1017/s0960129504004256</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/zv5agy3oxzabdjg3znq2uuonrm">fatcat:zv5agy3oxzabdjg3znq2uuonrm</a>
</span>
more »
... types. The language is functional in nature, statically typed, free of run-time errors, and it has an interesting denotational semantics in terms of complete partial orders of superoperators.
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180910033625/https://www.mscs.dal.ca/~selinger/papers/qpl-2up.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/9a/c9/9ac9423df2be670e9210472c11b408bc4cae0594.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1017/s0960129504004256">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="external alternate icon"></i>
cambridge.org
</button>
</a>