111 search results - page 2 / 23 » Algebraic Effects, Linearity, and Quantum Programming Langua... |
POPL
2004
ACM
14 years 5 months ago
2004
ACM
CORR
2004
Springer
13 years 4 months ago
2004
Springer
The objective of this paper is to develop a functional programming language for quantum computers. We develop a lambda-calculus for the QRAM model, following the work of P. Seling...
ENTCS
2007
13 years 4 months ago
2007
We develop a sound and complete equational theory for the functional quantum programming language QML. The soundness and completeness of the theory are with respect to the previou...
ENTCS
2008
13 years 4 months ago
2008
In this paper we define nQML, a functional quantum programming language that follows the "quantum data and control" paradigm. In comparison to Altenkirch and Grattage�...
CPHYSICS
2006
13 years 4 months ago
2006
Studies on the entanglement of n-qubit quantum systems have attracted a lot of interest during recent years. Despite the central role of entanglement in quantum information theory...