111 search results - page 1 / 23 » Algebraic Effects, Linearity, and Quantum Programming Langua... |
CORR
2008
Springer
13 years 11 months ago
2008
Springer
Quantum computer programming is emerging as a new subject domain from multidisciplinary research in quantum computing, computer science, mathematics (especially quantum logic, lamb...
GECCO
2003
Springer
14 years 4 months ago
2003
Springer
Intermediate measurements in quantum circuits compare to conditional branchings in programming languages. Due to this, quantum circuits have a natural linear-tree structure. In thi...
LICS
2005
IEEE
14 years 4 months ago
2005
IEEE
We introduce the language QML, a functional language for quantum computations on finite types. Its design is guided by its categorical semantics: QML programs are interpreted by ...
ENTCS
2008
13 years 11 months ago
2008
ly abstract model for a quantum unctional language (extended abstract) Peter Selinger1 ,2 Dalhousie University, Halifax, Nova Scotia, Canada Beno^it Valiron3 University of Ottawa, ...
IFIP
1994
Springer
14 years 3 months ago
1994
Springer
